1test verifier
2
3function %call_to_non_colocated_patchable_abi() system_v {
4  fn0 = patchable %f() system_v
5block0:
6  call fn0() ; error: patchable call to non-colocated function
7  return
8}
9
10function %call_to_non_colocated_patchable_abi() system_v {
11  fn0 = colocated patchable %f() -> i32 system_v
12block0:
13  v0 = call fn0() ; error: patchable call cannot occur to a function with return values
14  return
15}
16