mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
28772234bc
Previously we would skip type-checking the result expression of a `return` or the initialization expression of a binding if the contextual type had an error, but that misses out on useful diagnostics and prevents code completion and cursor info from working. Change the logic such that we open ErrorTypes as holes and continue to type-check.
22 lines
786 B
Swift
22 lines
786 B
Swift
// RUN: %target-typecheck-verify-swift -requirement-machine-max-rule-length=4
|
|
|
|
// https://github.com/apple/swift/issues/52031
|
|
|
|
struct S<N> {}
|
|
|
|
protocol P {
|
|
associatedtype A: P = Self
|
|
static func f(_ x: A) -> A
|
|
}
|
|
|
|
extension S: P where N: P {
|
|
static func f<X: P>(_ x: X) -> S<X.A> where A == X, X.A == N {
|
|
// expected-error@-1 {{cannot build rewrite system for generic signature; rule length limit exceeded}}
|
|
// expected-note@-2 {{τ_0_0.[P:A].[P:A].[P:A].[P:A].[P:A].[concrete: S<S<S<S<S<S<τ_0_0>>>>>>] => τ_0_0.[P:A].[P:A].[P:A].[P:A].[P:A] [subst↓]}}
|
|
// expected-error@-3 {{'A' is not a member type of type 'X'}}
|
|
// expected-error@-4 {{'A' is not a member type of type 'X'}}
|
|
return S<X.A>()
|
|
// expected-error@-1 {{'A' is not a member type of type 'X'}}
|
|
}
|
|
}
|