We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bd7e3ab commit ea9d390Copy full SHA for ea9d390
test/decl/protocol/req/recursion.swift
@@ -49,12 +49,13 @@ public struct S<A: P> where A.T == S<A> { // expected-error {{circular reference
49
// expected-note@-3 {{while resolving type 'S<A>'}}
50
func f(a: A.T) {
51
g(a: id(t: a)) // `a` has error type which is diagnosed as circular reference
52
+ // expected-error@-1{{conflicting arguments to generic parameter 'T' ('A.T' (associated type of protocol 'P') vs. 'S<A>')}}
53
_ = A.T.self
54
}
55
56
func g(a: S<A>) {
57
f(a: id(t: a))
- // expected-error@-1 {{cannot convert value of type 'S<A>' to expected argument type 'A.T'}}
58
+ // expected-error@-1 {{conflicting arguments to generic parameter 'T' ('S<A>' vs. 'A.T' (associated type of protocol 'P')}}
59
_ = S<A>.self
60
61
0 commit comments