| // RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s | |
| protocol A {} | |
| protocol B {} | |
| typealias C = B & A | |
| protocol D {} | |
| var p: (C & D)? | |
| // CHECK-DAG: !DIGlobalVariable(name: "p", {{.*}}type: ![[TY:[0-9]+]] | |
| // CHECK-DAG: ![[TY]] = {{.*}}identifier: "$s4main1A_AA1BAA1DpXSpSgD" |