// RUN: %target-swift-frontend -O -emit-ir %s | |
// RUN: %target-swift-frontend -O -primary-file %s -emit-ir | |
// Make sure that we don't crash in IRGen because the only reference to the type | |
// E is in the protocol conformance descriptor describing the conditional | |
// conformace. | |
private enum E {} | |
private protocol P { associatedtype AT } | |
private struct S<A, B> {} | |
extension S: P where A == E { typealias AT = B } | |
print(S<E, Bool>.AT.self) |