Rollup merge of #140605 - lcnr:defer-opaque-type-error, r=compiler-errors

`fn check_opaque_type_parameter_valid` defer error

Will be used in #139587 to silence opaque type errors if there are other borrowck failures. I think it can be merged separately.

r? `@compiler-errors`

Author: GuillaumeGomez