[SR-6988] We sometimes select type checking solutions involving forcing optionals rather than injecting into optionals #49536
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
type checker
Area → compiler: Semantic analysis
Additional Detail from JIRA
md5: c71fe7102ca4a79518d188deac717bcf
Issue Description:
Almost certainly a regression due to my recent changes for IUOs.
I removed the solver score keeping track of forced optionals thinking that the favored disjunction choice would deal with that, but that's not the case if we have overloads like this:
The text was updated successfully, but these errors were encountered: