mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
8 lines
469 B
Swift
8 lines
469 B
Swift
// {"kind":"typecheck","signature":"swift::rewriting::RewriteSystem::verifyRewriteRules(swift::rewriting::RewriteSystem::ValidityPolicy) const"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a { associatedtype b : Collection }
|
|
struct c < d : Collection where d.Element : a,
|
|
e == d.Element.b.Element struct f < d : Collection where d.Element : a,
|
|
d.Element.b.Element == d.Index extension c where g == f<d>,
|
|
d : RangeReplaceableCollection
|