-
Notifications
You must be signed in to change notification settings - Fork 10.5k
Open
Labels
accepts invalidBug: Accepts invalidBug: Accepts invalidbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfThe Swift compiler itselfexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesqualified identifier typesFeature → types: Qualified identifier typesFeature → types: Qualified identifier typesswift 6.2type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysistypesFeature: typesFeature: types
Description
Description
No response
Reproduction
protocol P {
typealias A = Bool
associatedtype T
}
let _: P.A
Expected behavior
An error and a fix-it that inserts any
like so: (any P).A
.
Environment
Swift version 6.0-dev (LLVM 48dc0c6fa01ce9e, Swift 19fbe5b)
Target: x86_64-apple-macosx14.0
Additional information
No response
Metadata
Metadata
Assignees
Labels
accepts invalidBug: Accepts invalidBug: Accepts invalidbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfThe Swift compiler itselfexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesqualified identifier typesFeature → types: Qualified identifier typesFeature → types: Qualified identifier typesswift 6.2type checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysistypesFeature: typesFeature: types