- [[特定のスコープである特定データに対して1つしか可変参照を持てない]] - [[特定のスコープである特定データに対する不変参照が存在する場合は可変参照を持てない]]