>>661
Rustをなぞるとボローチェックするには
- T, &T, &mut Tの区別
- ownership rule/reference rule
- init/uninitの管理(move/copy)
- リソースの管理(Drop)
- ライフタイムアノテーション
が必要
これに加えてraw pointerの取り扱いやunsafeブロック/unsafe関数、null safetyがないとsafeにはできない