[SR-13289] No warning/error when inheriting protocol and redeclaring property with different type #55729
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
diagnostics QoI
Bug: Diagnostics Quality of Implementation
type checker
Area → compiler: Semantic analysis
Environment
Xcode 12 beta 1
Additional Detail from JIRA
md5: caa89b1fd62314d47242373b121f150b
Issue Description:
Here, we don't get a warning or an error for redeclaring
foo
with a different type. This is problematic because a type cannot conform to theQ
protocol if the requirements have the same name but incompatible types.The text was updated successfully, but these errors were encountered: