; RUN: llvm-link -S %s %p/Inputs/type-unique-opaque.ll | FileCheck %s

; Test that a failed attempt at merging %u2 and %t2 (for the other file) will
; not cause %u and %t to get merged.

; CHECK: %u = type opaque
; CHECK: define %u @g(%u %a) {

%u = type opaque
%u2 = type { %u, i8 }

declare %u2 @f()

define %u @g(%u %a) {
  ret %u %a
}