mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
4 lines
244 B
Swift
4 lines
244 B
Swift
// {"signature":"swift::rewriting::PropertyMap::addSuperclassProperty(swift::rewriting::Term, swift::rewriting::Symbol, unsigned int)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
class a < b class c : a func d < b where b : a<Int>, b : c
|