[SR-9572] Type checker fails to find correct solution #52019
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: e62ffdf0d87f5782d9af375ac5aaeceb
Issue Description:
This should typecheck; the two expressions involve exactly the same types. The error changed between 4.2 and 5.0, but we get an error on both:
4.2: repl.swift:3:28: error: '-' is unavailable: Please use explicit type conversions or Strideable methods for mixed-type arithmetics.
5.0: error: binary operator '-' cannot be applied to operands of type 'UInt' and 'Int'
The text was updated successfully, but these errors were encountered: