mirror of
https://github.com/apple/swift.git
synced 2026-09-28 10:03:29 +02:00
Hamish Knight
4912cd52a7
We ought to consider making this an assert, but for now let's bail out of solving.
15 lines
524 B
Swift
15 lines
524 B
Swift
// {"kind":"typecheck","original":"bee4b7dd","signature":"swift::constraints::ContextualFailure::tryProtocolConformanceFixIt() const","signatureAssert":"Assertion failed: (!missingProtoTypeStrings.empty() && \"type already conforms to all the protocols?\"), function tryProtocolConformanceFixIt"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol a<b, c> {
|
|
associatedtype b
|
|
associatedtype c
|
|
}
|
|
extension Int: a {
|
|
struct d<e>: a {
|
|
typealias b = e
|
|
}
|
|
func f() -> a<a, a> {
|
|
d<Int>(<#expression#>)
|
|
}
|
|
}
|