1 ; Test that even if a call parameter matches its declaration, it must still
2 ; be a legal call parameter type (unless declaration is intrinsic).
4 ; REQUIRES: no_minimal_build
6 ; RUN: %p2i --expect-fail -i %s --insts --args \
7 ; RUN: -allow-externally-defined-symbols | FileCheck %s
10 ; CHECK: Invalid type signature for f: void (i8)