>>754
@NonNullは型定義
例class A@NonNull {}
ではなく型適用（その型の変数やその型を使う関数）
例 A@NonNull var; A@NonNull func();
に現れるのでは？

っていうか、NonNull関係なく
class A {
　A membr;
}
みたいな型って、null以外にどういう値があり得るんだ？

>>755=>>348-353？