; Test that opaque types are preserved correctly
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
;
; RUN: verify-uselistorder %s
%Ty = type opaque
define %Ty* @func() {
ret %Ty* null
}