Skip to content

Commit bef46f2

Browse files
committed
Limit defaultness to impl of trait
1 parent 679163e commit bef46f2

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

compiler/rustc_metadata/src/rmeta/encoder.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2124,9 +2124,9 @@ impl<'a, 'tcx> EncodeContext<'a, 'tcx> {
21242124
};
21252125
let def_id = id.owner_id.to_def_id();
21262126

2127-
self.tables.defaultness.set_some(def_id.index, tcx.defaultness(def_id));
2128-
21292127
if of_trait && let Some(header) = tcx.impl_trait_header(def_id) {
2128+
self.tables.defaultness.set_some(def_id.index, tcx.defaultness(def_id));
2129+
21302130
record!(self.tables.impl_trait_header[def_id] <- header);
21312131

21322132
let trait_ref = header.trait_ref.instantiate_identity();

compiler/rustc_ty_utils/src/ty.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ fn sizedness_constraint_for_ty<'tcx>(
8181
fn defaultness(tcx: TyCtxt<'_>, def_id: LocalDefId) -> hir::Defaultness {
8282
match tcx.hir_node_by_def_id(def_id) {
8383
hir::Node::Item(hir::Item { kind: hir::ItemKind::Impl(impl_), .. }) => impl_.defaultness,
84-
hir::Node::ImplItem(hir::ImplItem { defaultness, .. })
84+
hir::Node::ImplItem(hir::ImplItem { defaultness, of_trait: Some(_), .. })
8585
| hir::Node::TraitItem(hir::TraitItem { defaultness, .. }) => *defaultness,
8686
node => {
8787
bug!("`defaultness` called on {:?}", node);

0 commit comments

Comments
 (0)