mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
13 lines
382 B
Swift
13 lines
382 B
Swift
// {"kind":"typecheck","signature":"swift::MakeAbstractConformanceForGenericType::operator()(swift::InFlightSubstitution&, swift::Type, swift::ProtocolDecl*) const"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol A {}
|
|
struct C<T: A> {}
|
|
protocol E {
|
|
associatedtype F
|
|
func g<T>(_: C<T>) where F == T
|
|
}
|
|
struct H: E {
|
|
typealias F = ()
|
|
func g<T>(_: C<T>) {}
|
|
}
|