mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
5c3f6703a0
This is a diagnostic that is only really emitted as a fallback when the constraint system isn't able to better diagnose the expression. It's not particulary helpful for the user, and can be often be misleading since the underlying issue might not actually be an ambiguity, and the user may well already have a type annotation. Let's instead just emit the fallback diagnostic that we emit in all other cases, asking the user to file a bug.
56 lines
1.9 KiB
Swift
56 lines
1.9 KiB
Swift
// RUN: %target-typecheck-verify-swift -disable-availability-checking
|
|
|
|
protocol P<A> {
|
|
associatedtype A
|
|
|
|
func f() -> A
|
|
}
|
|
|
|
func f1(x: any P) -> any P<Int> {
|
|
// FIXME: Bad diagnostic
|
|
return x // expected-error {{failed to produce diagnostic for expression}}
|
|
}
|
|
|
|
func f2(x: any P<Int>) -> any P {
|
|
return x // okay
|
|
}
|
|
|
|
func f3(x: any P<Int>) -> any P<String> {
|
|
// FIXME: Misleading diagnostic
|
|
return x // expected-error {{cannot convert return expression of type 'Int' to return type 'String'}}
|
|
}
|
|
|
|
struct G<T> {}
|
|
// expected-note@-1 {{arguments to generic parameter 'T' ('any P<Int>' and 'any P') are expected to be equal}}
|
|
// expected-note@-2 {{arguments to generic parameter 'T' ('any P' and 'any P<Int>') are expected to be equal}}
|
|
// expected-note@-3 {{arguments to generic parameter 'T' ('any P<Int>' and 'any P<String>') are expected to be equal}}
|
|
|
|
func g1(x: G<any P>) -> G<any P<Int>> {
|
|
return x // expected-error {{cannot convert return expression of type 'G<any P>' to return type 'G<any P<Int>>'}}
|
|
}
|
|
|
|
func g2(x: G<any P<Int>>) -> G<any P> {
|
|
return x // expected-error {{cannot convert return expression of type 'G<any P<Int>>' to return type 'G<any P>'}}
|
|
}
|
|
|
|
func g3(x: G<any P<Int>>) -> G<any P<String>> {
|
|
return x // expected-error {{cannot convert return expression of type 'G<any P<Int>>' to return type 'G<any P<String>>'}}
|
|
}
|
|
|
|
func h1(x: (any P)?) -> (any P<Int>)? {
|
|
return x // expected-error {{cannot convert return expression of type '(any P)?' to return type '(any P<Int>)?'}}
|
|
// expected-note@-1 {{arguments to generic parameter 'Wrapped' ('any P' and 'any P<Int>') are expected to be equal}}
|
|
}
|
|
|
|
func h2(x: (any P<Int>)?) -> (any P)? {
|
|
return x // okay
|
|
}
|
|
|
|
func h3(x: (any P<Int>)?) -> (any P<String>)? {
|
|
return x // expected-error {{cannot convert return expression of type '(any P<Int>)?' to return type '(any P<String>)?'}}
|
|
}
|
|
|
|
func generic1<T>(x: any P<T>) -> T {
|
|
return x.f()
|
|
}
|