mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
7 lines
416 B
Swift
7 lines
416 B
Swift
// {"signature":"swift::rewriting::RewriteSystem::processTypeDifference(swift::rewriting::TypeDifference const&, unsigned int, unsigned int, swift::rewriting::RewritePath const&)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
class a < b class c<b, h> : a<(b, h)> protocol d {
|
|
associatedtype b : c<e, f> associatedtype e associatedtype f associatedtype b
|
|
: a<g>
|
|
associatedtype g where g == e
|