Avatar
omochimetaru 3/23/2017 3:51 AM
推論器の実装の型変数にそういうフラグがあればできるっしょ
3:52 AM
T から T? への暗黙変換を試すところでフラグ見て無視する
3:52 AM
canBeUpcastToOptional: Bool みたいな。 (edited)
3:53 AM
T! から 仮定する T を生成する時にはそれを true にしとく。