mirror of
https://github.com/apple/swift.git
synced 2026-10-14 15:51:20 +02:00
10 lines
404 B
Swift
10 lines
404 B
Swift
// {"kind":"typecheck","original":"53b0fce0","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const","signatureNext":"RequirementMachine::areReducedTypeParametersEqual"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a: Collection
|
|
protocol b {
|
|
associatedtype c
|
|
}
|
|
func d<e, f: b {
|
|
struct g: a {
|
|
typealias Element = f.c
|