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