1; RUN: llvm-link -S %s %p/Inputs/type-unique-opaque.ll | FileCheck %s
2
3; Test that a failed attempt at merging %u2 and %t2 (for the other file) will
4; not cause %u and %t to get merged.
5
6; CHECK: %u = type opaque
7; CHECK: define %u* @g() {
8
9%u = type opaque
10%u2 = type { %u*, i8 }
11
12declare %u2* @f()
13
14define %u* @g() {
15  ret %u* null
16}
17