rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Ensure proper item queries for assoc tys

Browse Source
This commit is contained in:
Michael Goulet
2025-07-13 15:47:17 +00:00
parent 0fb279be1d
commit ef726a4cef
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/rustc_hir_analysis/src/check/check.rs
View File

@@ -889,8 +889,6 @@ pub(crate) fn check_item_type(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Result<(),
tcx.ensure_ok().predicates_of(def_id); tcx.ensure_ok().predicates_of(def_id);
tcx.ensure_ok().explicit_item_bounds(def_id); tcx.ensure_ok().explicit_item_bounds(def_id);
tcx.ensure_ok().explicit_item_self_bounds(def_id); tcx.ensure_ok().explicit_item_self_bounds(def_id);
tcx.ensure_ok().item_bounds(def_id);
tcx.ensure_ok().item_self_bounds(def_id);
if tcx.is_conditionally_const(def_id) { if tcx.is_conditionally_const(def_id) {
tcx.ensure_ok().explicit_implied_const_bounds(def_id); tcx.ensure_ok().explicit_implied_const_bounds(def_id);
tcx.ensure_ok().const_conditions(def_id); tcx.ensure_ok().const_conditions(def_id);
@@ -1042,8 +1040,12 @@ pub(crate) fn check_item_type(tcx: TyCtxt<'_>, def_id: LocalDefId) -> Result<(),
let has_type = match assoc_item.container { let has_type = match assoc_item.container {
ty::AssocItemContainer::Impl => true, ty::AssocItemContainer::Impl => true,
ty::AssocItemContainer::Trait => { ty::AssocItemContainer::Trait => {
tcx.ensure_ok().item_bounds(def_id); tcx.ensure_ok().explicit_item_bounds(def_id);
tcx.ensure_ok().item_self_bounds(def_id); tcx.ensure_ok().explicit_item_self_bounds(def_id);
if tcx.is_conditionally_const(def_id) {
tcx.ensure_ok().explicit_implied_const_bounds(def_id);
tcx.ensure_ok().const_conditions(def_id);
}
res = res.and(check_trait_item(tcx, def_id)); res = res.and(check_trait_item(tcx, def_id));
assoc_item.defaultness(tcx).has_value() assoc_item.defaultness(tcx).has_value()
} }