값의 소유권을 다른 스레드로 옮겨도 안전하다는 뜻입니다.
marker traits
Send Sync 경계 점검표
동시성 API가 값을 스레드 사이로 이동하거나 공유하려면
Send와 Sync 계약을 만족해야 합니다.
&T를 여러 스레드에서 공유해도 안전하다는 뜻입니다.
필드 타입이 조건을 만족하면 구조체도 보통 자동으로 만족합니다.
직접 구현할 때는 데이터 레이스와 별칭 불변식을 사람이 증명해야 합니다.