nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-26 00:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

check binders with bound vars for global bounds that don't hold

Browse Source 
(instead of just late bound vars)
This commit is contained in:
Rémy Rakic 2023-11-06 15:46:17 +00:00
parent e1fcecb1b9
commit 2beca157c9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/rustc_hir_analysis/src/check/wfcheck.rs
View File

@ -32,6 +32,7 @@ use rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt as _
use rustc_trait_selection::traits::{ use rustc_trait_selection::traits::{
self, ObligationCause, ObligationCauseCode, ObligationCtxt, WellFormedLoc, self, ObligationCause, ObligationCauseCode, ObligationCtxt, WellFormedLoc,
}; };
use rustc_type_ir::TypeFlags;
use std::cell::LazyCell; use std::cell::LazyCell;
use std::ops::{ControlFlow, Deref}; use std::ops::{ControlFlow, Deref};
@ -1877,7 +1878,7 @@ impl<'tcx> WfCheckingCtxt<'_, 'tcx> {
continue; continue;
} }
// Match the existing behavior. // Match the existing behavior.
if pred.is_global() && !pred.has_late_bound_vars() { if pred.is_global() && !pred.has_type_flags(TypeFlags::HAS_BINDER_VARS) {
let pred = self.normalize(span, None, pred); let pred = self.normalize(span, None, pred);
let hir_node = tcx.hir().find_by_def_id(self.body_def_id); let hir_node = tcx.hir().find_by_def_id(self.body_def_id);