값의 소유권을 다른 스레드로 이동할 수 있음을 뜻합니다.
Marker Traits
Send와 Sync 판정 기준
Send와 Sync는 타입이 스레드 경계를 넘어가도 되는지 컴파일러가 판단하게 하는 자동 마커 트레이트입니다.
이동 가능성과 공유 가능성을 분리
&T가 여러 스레드에서 안전하게 공유될 수 있음을 뜻합니다.
구성 필드가 안전하면 대부분 자동으로 따라옵니다.
unsafe impl은 타입 불변식을 직접 증명해야 합니다.
판단 기준: 값을 다른 스레드로 옮기는가, 참조를 여러 스레드에서 공유하는가를 나눠서 생각합니다.