[SR-11402] False positive 'cast from unrelated type' warning when casting a protocol type to a superclass of a conforming type #53803
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
regression
swift 5.0
type checker
Area → compiler: Semantic analysis
Additional Detail from JIRA
md5: 0622edaf1bff979bfbed97c83c6635e5
Issue Description:
The following code:
Produces the following diagnostic:
But at runtime, prints:
The text was updated successfully, but these errors were encountered: