yoni-lavi wrote: when we verify, shouldn't we still need to check the return type + all non-variadic args in the call agree with `varCalleeType` if it is non-null? https://github.com/llvm/llvm-project/pull/99293