mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
10 lines
320 B
Swift
10 lines
320 B
Swift
// {"kind":"typecheck","original":"0004c325","signature":"swift::rewriting::RewriteContext::getRequirementMachine(swift::ProtocolDecl const*)"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a {
|
|
associatedtype b: a
|
|
associatedtype c: a
|
|
where
|
|
d == Self,
|
|
c.c.b.c.c.b == Self, b.e == Self
|
|
}
|