mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
11 lines
536 B
Swift
11 lines
536 B
Swift
// {"kind":"typecheck","signature":"swift::rewriting::RewriteSystem::buildRewritePathForJoiningTerms(swift::rewriting::MutableTerm, swift::rewriting::MutableTerm, swift::rewriting::RewritePath*) const","signatureAssert":"Assertion failed: (lhsTerm == rhsTerm), function buildRewritePathForJoiningTerms"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a : b
|
|
protocol c {
|
|
associatedtype d
|
|
associatedtype e: f where e.g == Self
|
|
}
|
|
protocol f: a
|
|
protocol b {
|
|
associatedtype g: c where g.d == Self!
|