diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-11 23:36:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-11 23:36:45 +0100 |
| commit | aa7b5b32e3463fc21468073ca3a75e2c3617b179 (patch) | |
| tree | 435f1c886c4dc21d452bc02de355c3abd5f1e939 /compiler/rustc_trait_selection/src | |
| parent | 668976b80ad6ca3bfbc0cddf9e676b289c07fc49 (diff) | |
| parent | 64ad337a3bc50f7381f1afc1a0fc7006a8ad7f53 (diff) | |
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
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs b/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs index dda7b2b2fa5..82449a36b1d 100644 --- a/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs +++ b/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 |