Scalable vector ABI check seems incomplete #161753

#143924 extended the ABI checks that we run during monomorphization to also cover scalable vectors. However, those ABI checks were only meant to catch "C" ABI problems, and they are therefore partially disabled for "Rust" ABI calls. Specifically, while we are checking "Rust" ABI definitions, we are not checking "Rust" ABI calls:

One can therefore compile this code without having the scalable vector target feature enabled:

fn foo(f: fn() -> svint32_t) {
  let _x = f();
}

At least, that's what I would expect; I don't have the setup to test this.

Cc @davidtwco @workingjubilee
Tracking issue: #145052