[SR-9052] Cannot access protocol property returning Self on an existential #51555
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
Swift version 4.2-dev (LLVM c4a0883115, Clang 0a99881462, Swift 533575ab62)
Target: x86_64-apple-darwin17.7.0
Additional Detail from JIRA
md5: 96ac2f701281716b3ac14ff121110227
Issue Description:
The following doesn't compile:
But really it ought to compile – we should erase
Self
back toP
, just like we do with methods and subscripts:The text was updated successfully, but these errors were encountered: