[SR-7318] Type interference sometimes is wrong on equality check #49866
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
regression
swift 4.1
type checker
Area → compiler: Semantic analysis
Environment
Swift 4.1 from Xcode 9.3 (9E145)
Additional Detail from JIRA
md5: 30fd51ff3ed5acce33a3e35add5f858d
Issue Description:
It seems that sometimes when checking equality with `.none` the other argument is promoted to
Optional
which causes unexpected results compared to Swift 4.0The text was updated successfully, but these errors were encountered: