; The assembler should catch an undefined argument type .
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: use of undefined type named 'typedef.bc_struct'
; %typedef.bc_struct = type opaque
define i1 @someFunc(ptr %tmp.71.reload, %typedef.bc_struct %n1) {
ret i1 true
}