1
Fork 0

Add opt_rpitit_info query

This commit is contained in:
Santiago Pastorino 2023-02-28 18:27:26 -03:00
parent 5423745db8
commit 5295de1694
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
3 changed files with 15 additions and 0 deletions

View file

@ -177,6 +177,7 @@ pub fn provide(providers: &mut Providers) {
}
};
providers.opt_def_kind = |tcx, def_id| tcx.hir().opt_def_kind(def_id.expect_local());
providers.opt_rpitit_info = |_, _| None;
providers.all_local_trait_impls = |tcx, ()| &tcx.resolutions(()).trait_impls;
providers.expn_that_defined = |tcx, id| {
let id = id.expect_local();