Closes #553

[Medowhill]

• StrongPin<'s, T>
  • &'s T와 동일
  • 같은 데이터를 가리키는 &mut이 만들어지면 안 된다는 사실을 표현
• StrongPinMut<'s, T>
  • &'s mut T와 비슷
  • *mut T(정확히는 NonNull<T>)를 가지고 있음
  • 같은 데이터를 가리키는 raw pointer와 공존할 수 있음
  • 같은 데이터를 가리키는 &mut이 만들어지면 안 된다는 사실을 표현

[Medowhill]

bors r+

[kaist-cp-bors[bot]]

Build succeeded:

• ci