bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Handle ForeignItem as TAIT scope.

Browse source
This commit is contained in:
Camille GILLOT 2023-12-29 20:04:03 +00:00
parent b8c207435c
commit 7366bdaea2
3 changed files with 48 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_hir_analysis/src/collect/type_of/opaque.rs
View file

@ -69,6 +69,7 @@ pub(super) fn find_opaque_ty_constraints_for_tait(tcx: TyCtxt<'_>, def_id: Local
Node::Item(it) => locator.visit_item(it),
Node::ImplItem(it) => locator.visit_impl_item(it),
Node::TraitItem(it) => locator.visit_trait_item(it),
Node::ForeignItem(it) => locator.visit_foreign_item(it),
other => bug!("{:?} is not a valid scope for an opaque type item", other),
}
}
@ -240,6 +241,12 @@ impl<'tcx> intravisit::Visitor<'tcx> for TaitConstraintLocator<'tcx> {
self.check(it.owner_id.def_id);
intravisit::walk_trait_item(self, it);
}
fn visit_foreign_item(&mut self, it: &'tcx hir::ForeignItem<'tcx>) {
trace!(?it.owner_id);
assert_ne!(it.owner_id.def_id, self.def_id);
self.check(it.owner_id.def_id);
intravisit::walk_foreign_item(self, it);
}
}
pub(super) fn find_opaque_ty_constraints_for_rpit<'tcx>(