mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
13 lines
294 B
Swift
13 lines
294 B
Swift
// RUN: %target-typecheck-verify-swift -debug-cycles 2>&1 | %FileCheck --allow-empty %s
|
|
|
|
// Verify that protocol where clause lookups don't cause cyclic dependencies.
|
|
|
|
// expected-no-diagnostics
|
|
|
|
class C { }
|
|
protocol Q { }
|
|
protocol P where Self : Q, Self : C { }
|
|
|
|
// CHECK-NOT: CYCLE DETECTED
|
|
|