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