| ; It's a bad idea to go recursively traipsing through types without a safety | |
| ; net. | |
| ; RUN: llvm-as < %s > %t.out1.bc | |
| ; RUN: echo "%M = type { %M*, i32* }" | llvm-as > %t.out2.bc | |
| ; RUN: llvm-link %t.out1.bc %t.out2.bc | |
| %T1 = type opaque | |
| %M = type { %M*, %T1* } | |