| // RUN: %target-typecheck-verify-swift -parse-as-library |
| |
| protocol BaseProto { |
| associatedtype AssocTy |
| } |
| var a: BaseProto.AssocTy = 4 |
| // expected-error@-1{{associated type 'AssocTy' can only be used with a concrete type or generic parameter base}} |
| |
| var a = BaseProto.AssocTy.self |
| // expected-error@-1{{associated type 'AssocTy' can only be used with a concrete type or generic parameter base}} |
| |
| protocol DerivedProto : BaseProto { |
| func associated() -> AssocTy // no-warning |
| |
| func existential() -> BaseProto.AssocTy |
| // expected-error@-1{{associated type 'AssocTy' can only be used with a concrete type or generic parameter base}} |
| } |
| |
| |
| func generic<T: BaseProto>(_ assoc: T.AssocTy) {} // no-warning |
| |
