Rollup merge of #145115 - lcnr:less-borrowck-tainting, r=compiler-errors

defer opaque type errors, generally greatly reduce tainting

fixes the test for rust-lang/rust#135528, does not actually fix that issue properly.

This is useful as it causes the migration to rust-lang/rust#139587 to be a lot easier.