tests/fail/function_pointers/abi_mismatch_raw_pointer.rs - miri - Git at Google

 fn main() {
     fn f(_: *const [i32]) {}

     let g = unsafe { std::mem::transmute::<fn(*const [i32]), fn(*const i32)>(f) };

     g(&42 as *const i32) //~ ERROR: calling a function with argument of type *const [i32] passing data of type *const i32
 }
	fn main() {
	fn f(_: *const [i32]) {}

	let g = unsafe { std::mem::transmute::<fn(const [i32]), fn(const i32)>(f) };

	g(&42 as const i32) //~ ERROR: calling a function with argument of type const [i32] passing data of type *const i32
	}