1; RUN: not llvm-as < %s -disable-output 2>&1 | FileCheck %s
2
3define void @foo(i32 %v) {
4entry:
5; CHECK: <stdin>:[[@LINE+1]]:{{[0-9]+}}: error: invalid use of function-local name
6  ret void, !foo !{i32 %v}
7}
8