inference: bail from const-prop if const-prop fails (#42112)
Otherwise we can end up in an infinite cycle of attempting
const-prop, and that failing. Also handle `Varargs` in method-lookup
matching, which was the cause for which we could not compute the
const-prop signature.
Fixes #42097
