| // RUN: %target-swift-frontend -primary-file %s -emit-ir | %FileCheck %s | |
| // Check that we can mangle+demangle the associated type witness table accessor | |
| // and do not crash | |
| protocol V {} | |
| protocol W: V {} | |
| protocol X: W {} | |
| protocol Y: X {} | |
| protocol Z: W { | |
| associatedtype ZZ: X | |
| } | |
| protocol P { | |
| associatedtype A: W | |
| } | |
| protocol Q: P where A: Z {} | |
| protocol R: Q where A.ZZ: Y {} | |
| // CHECK: define {{.*}} @"$s13assoctypepath1SVyxGAA1RAA1A_2ZZAA1YPWT" | |
| struct S<T>: R where T: Z, T.ZZ: Y { | |
| typealias A = T | |
| } |