mirror of
https://github.com/apple/swift.git
synced 2026-10-12 14:50:47 +02:00
Hamish Knight
527f6d0cb0
Add some crashers that I encountered while making some other changes, ensure we don't regress them.
16 lines
516 B
Swift
16 lines
516 B
Swift
// {"kind":"typecheck","original":"04310d73","signature":"swift::constraints::ConstraintSystem::applySolution(swift::constraints::Solution&, swift::constraints::SyntacticElementTarget)","signatureAssert":"Assertion failed: (isValidType(type) && \"type binding has invalid type\"), function applySolution"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
protocol a {
|
|
typealias b
|
|
}
|
|
protocol c: a
|
|
struct d<e: a {
|
|
f : e.b let elements: e
|
|
}
|
|
protocol g: c
|
|
struct h: g {
|
|
i {
|
|
d(f: i
|
|
elements
|
|
: self
|