Rollup merge of #105283 - compiler-errors:ty-var-in-hir-wfcheck, r=nagisa

Don't call `diagnostic_hir_wf_check` query if we have infer variables

Fixes #105260

compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs

@@ -597,6 +597,7 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
                 // can get a better error message by performing HIR-based well-formedness checking.
                 if let ObligationCauseCode::WellFormed(Some(wf_loc)) =
                     root_obligation.cause.code().peel_derives()
+                    && !obligation.predicate.has_non_region_infer()
                 {
                     if let Some(cause) = self
                         .tcx