bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Ensure RPITITs are created before def-id freezing

Browse source
This commit is contained in:
Michael Goulet 2024-03-14 20:30:57 -04:00
parent fd27e8745f
commit 571f945713
3 changed files with 24 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_hir_analysis/src/collect.rs
View file

@ -595,12 +595,14 @@ fn convert_item(tcx: TyCtxt<'_>, item_id: hir::ItemId) {
tcx.ensure().type_of(def_id);
tcx.ensure().impl_trait_header(def_id);
tcx.ensure().predicates_of(def_id);
tcx.ensure().associated_items(def_id);
}
hir::ItemKind::Trait(..) => {
tcx.ensure().generics_of(def_id);
tcx.ensure().trait_def(def_id);
tcx.at(it.span).super_predicates_of(def_id);
tcx.ensure().predicates_of(def_id);
tcx.ensure().associated_items(def_id);
}
hir::ItemKind::TraitAlias(..) => {
tcx.ensure().generics_of(def_id);

13
tests/ui/impl-trait/in-trait/ensure-rpitits-are-created-before-freezing.rs Normal file
View file

@ -0,0 +1,13 @@
trait Iterable {
type Item;
fn iter(&self) -> impl Sized;
}
// `ty::Error` in a trait ref will silence any missing item errors, but will also
// prevent the `associated_items` query from being called before def ids are frozen.
impl Iterable for Missing {
//~^ ERROR cannot find type `Missing` in this scope
fn iter(&self) -> Self::Item {}
}
fn main() {}

9
tests/ui/impl-trait/in-trait/ensure-rpitits-are-created-before-freezing.stderr Normal file
View file

@ -0,0 +1,9 @@
error[E0412]: cannot find type `Missing` in this scope
--> $DIR/ensure-rpitits-are-created-before-freezing.rs:8:19
|
LL | impl Iterable for Missing {
| ^^^^^^^ not found in this scope
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0412`.