1; RUN: not llvm-as < %s -disable-output --opaque-pointers=0 2>&1 | FileCheck %s
2
3; CHECK: warning: ptr type is only supported in -opaque-pointers mode
4; CHECK: error: expected type
5define void @f(ptr %a) {
6    ret void
7}
8