Avatar
SemaレベルではIUO型としてちゃんと扱われてて、 代入とかオーバーロードとかジェネリクス解決とか、都度都度のところでルールが実装されてる