1; Test that opaque types are preserved correctly
2; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis
3;
4; RUN: verify-uselistorder %s
5
6%Ty = type opaque
7
8define %Ty* @func() {
9	ret %Ty* null
10}
11
12