推論器の実装の型変数にそういうフラグがあればできるっしょ

3:52 AM

T から T? への暗黙変換を試すところでフラグ見て無視する

3:52 AM

canBeUpcastToOptional: Bool みたいな。 (edited)

3:53 AM

T! から仮定する T を生成する時にはそれを true にしとく。