; 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 = type opaque
%u2 = type { %u*, i8 }

declare %u2* @f()

define %u* @g() {
  ret %u* null
}
