When testing whether a default method predicates are satisfiable, combine normalization with this check so that we also skip the default method if normalization fails. Fixes #23485. r? @nrc (I tried to address your nit from before as well)