// 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 | |