コンパイル時に型安全性をチェックするための仕組み（など）は何か。

クラス内の内部クラスから外部クラスのメンバにアクセスできるか。