Skip to content

Commit 1349272

Browse files
committed
Accept LocalDefId as key for check_impl_item_well_formed query
1 parent 14119a2 commit 1349272

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

src/librustc_middle/query/mod.rs

+3-1
Original file line numberDiff line numberDiff line change
@@ -810,7 +810,9 @@ rustc_queries! {
810810
query check_trait_item_well_formed(key: LocalDefId) -> () {
811811
desc { |tcx| "processing `{}`", tcx.def_path_str(key.to_def_id()) }
812812
}
813-
query check_impl_item_well_formed(_: DefId) -> () {}
813+
query check_impl_item_well_formed(key: LocalDefId) -> () {
814+
desc { |tcx| "processing `{}`", tcx.def_path_str(key.to_def_id()) }
815+
}
814816
}
815817

816818
Linking {

src/librustc_typeck/check/mod.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -762,8 +762,8 @@ fn check_trait_item_well_formed(tcx: TyCtxt<'_>, def_id: LocalDefId) {
762762
wfcheck::check_trait_item(tcx, def_id);
763763
}
764764

765-
fn check_impl_item_well_formed(tcx: TyCtxt<'_>, def_id: DefId) {
766-
wfcheck::check_impl_item(tcx, def_id.expect_local());
765+
fn check_impl_item_well_formed(tcx: TyCtxt<'_>, def_id: LocalDefId) {
766+
wfcheck::check_impl_item(tcx, def_id);
767767
}
768768

769769
pub fn provide(providers: &mut Providers<'_>) {

0 commit comments

Comments
 (0)