Skip to content

Commit 19270b4

Browse files
committed
Remove an argument that was always the same
1 parent 08aea52 commit 19270b4

File tree

3 files changed

+5
-9
lines changed

3 files changed

+5
-9
lines changed

compiler/rustc_ast_lowering/src/expr.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -482,9 +482,8 @@ impl<'hir> LoweringContext<'_, 'hir> {
482482
let mut generic_args = ThinVec::new();
483483
for (idx, arg) in args.iter().cloned().enumerate() {
484484
if legacy_args_idx.contains(&idx) {
485-
let parent_def_id = self.current_hir_id_owner.def_id;
486485
let node_id = self.next_node_id();
487-
self.create_def(parent_def_id, node_id, None, DefKind::AnonConst, f.span);
486+
self.create_def(node_id, None, DefKind::AnonConst, f.span);
488487
let mut visitor = WillCreateDefIdsVisitor {};
489488
let const_value = if let ControlFlow::Break(span) = visitor.visit_expr(&arg) {
490489
AstP(Expr {

compiler/rustc_ast_lowering/src/lib.rs

+3-5
Original file line numberDiff line numberDiff line change
@@ -494,7 +494,6 @@ enum GenericArgsMode {
494494
impl<'a, 'hir> LoweringContext<'a, 'hir> {
495495
fn create_def(
496496
&mut self,
497-
parent: LocalDefId,
498497
node_id: ast::NodeId,
499498
name: Option<Symbol>,
500499
def_kind: DefKind,
@@ -509,7 +508,8 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
509508
self.tcx.hir_def_key(self.local_def_id(node_id)),
510509
);
511510

512-
let def_id = self.tcx.at(span).create_def(parent, name, def_kind).def_id();
511+
let def_id =
512+
self.tcx.at(span).create_def(self.current_hir_id_owner.def_id, name, def_kind).def_id();
513513

514514
debug!("create_def: def_id_to_node_id[{:?}] <-> {:?}", def_id, node_id);
515515
self.resolver.node_id_to_def_id.insert(node_id, def_id);
@@ -781,7 +781,6 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
781781
LifetimeRes::Fresh { param, kind, .. } => {
782782
// Late resolution delegates to us the creation of the `LocalDefId`.
783783
let _def_id = self.create_def(
784-
self.current_hir_id_owner.def_id,
785784
param,
786785
Some(kw::UnderscoreLifetime),
787786
DefKind::LifetimeParam,
@@ -2069,15 +2068,14 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
20692068
} else {
20702069
// Construct an AnonConst where the expr is the "ty"'s path.
20712070

2072-
let parent_def_id = self.current_hir_id_owner.def_id;
20732071
let node_id = self.next_node_id();
20742072
let span = self.lower_span(span);
20752073

20762074
// Add a definition for the in-band const def.
20772075
// We're lowering a const argument that was originally thought to be a type argument,
20782076
// so the def collector didn't create the def ahead of time. That's why we have to do
20792077
// it here.
2080-
let def_id = self.create_def(parent_def_id, node_id, None, DefKind::AnonConst, span);
2078+
let def_id = self.create_def(node_id, None, DefKind::AnonConst, span);
20812079
let hir_id = self.lower_node_id(node_id);
20822080

20832081
let path_expr = Expr {

compiler/rustc_ast_lowering/src/pat.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -516,14 +516,13 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
516516
span: Span,
517517
base_type: Span,
518518
) -> &'hir hir::ConstArg<'hir> {
519-
let parent_def_id = self.current_hir_id_owner.def_id;
520519
let node_id = self.next_node_id();
521520

522521
// Add a definition for the in-band const def.
523522
// We're generating a range end that didn't exist in the AST,
524523
// so the def collector didn't create the def ahead of time. That's why we have to do
525524
// it here.
526-
let def_id = self.create_def(parent_def_id, node_id, None, DefKind::AnonConst, span);
525+
let def_id = self.create_def(node_id, None, DefKind::AnonConst, span);
527526
let hir_id = self.lower_node_id(node_id);
528527

529528
let unstable_span = self.mark_span_with_reason(

0 commit comments

Comments
 (0)