Commits
Chris Willmore committed 4cc75187c61
[Sema] Flag -disable-infer-iuos: don't infer IUO type for untyped bindings If this option is enabled, when generating potential bindings for a type variable, don't propagate IUO type. Instead try the optional type and the underlying type. This way, untyped bindings will not be given IUO type when they are initialized with exprs of IUO type.