mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
5 lines
395 B
Swift
5 lines
395 B
Swift
// {"kind":"typecheck","signature":"swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, llvm::SmallVectorImpl<unsigned int>&) const"}
|
|
// RUN: not --crash %target-swift-frontend -typecheck %s
|
|
protocol a{associatedtype b : c} protocol c { associatedtype d }
|
|
struct e : a struct f < g : a, h : c where g.b.d == Int extension f where g == e
|