mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
2f4ed5a949
- Pass down the TypeResolution instance so we can get the generic signature. This ensures we always use the correct signature in SIL mode. - Don't diagnose if the type contains error types.
14 lines
333 B
Swift
14 lines
333 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
protocol P {
|
|
associatedtype A
|
|
}
|
|
|
|
struct J<A> { }
|
|
|
|
// expected-error@+2 {{same-type constraint 'Self' == 'J<Self.A>' is recursive}}
|
|
// expected-error@+1 {{no type for 'Self' can satisfy both 'Self == J<Self.A>' and 'Self : P'}}
|
|
extension P where Self == J<A> {
|
|
static func just(_: A) { }
|
|
}
|