[SR-7389] Inference issue for default implementations #49932
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
Environment
Version 9.3 (9E145)
Additional Detail from JIRA
md5: 35dd3e010d8f47e63e9da7ec6f4e1f66
Issue Description:
Following code causes a compile-time error.
However, when the extension below is given, the code can be compiled.
It seems strange. In both cases, types of the operands are determined even if the - is implemented by a default implementation.
The text was updated successfully, but these errors were encountered: