Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 85dee2b

Browse files
compiler-errorscompiler-errors
committed
Revert "Do not consider method call receiver as an argument in AST."
This reverts commit 9701845.
1 parent 1fc2385 commit 85dee2b

File tree

19 files changed

+57
-103
lines changed

19 files changed

+57
-103
lines changed

‎compiler/rustc_ast/src/ast.rs‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1338,13 +1338,14 @@ pub enum ExprKind {
13381338
///
13391339
/// The `PathSegment` represents the method name and its generic arguments
13401340
/// (within the angle brackets).
1341-
/// The standalone `Expr` is the receiver expression.
1342-
/// The vector of `Expr` is the arguments.
1343-
/// `x.foo::<Bar, Baz>(a, b, c, d)` is represented as
1344-
/// `ExprKind::MethodCall(PathSegment { foo, [Bar, Baz] }, x, [a, b, c, d])`.
1341+
/// The first element of the vector of an `Expr` is the expression that evaluates
1342+
/// to the object on which the method is being called on (the receiver),
1343+
/// and the remaining elements are the rest of the arguments.
1344+
/// Thus, `x.foo::<Bar, Baz>(a, b, c, d)` is represented as
1345+
/// `ExprKind::MethodCall(PathSegment { foo, [Bar, Baz] }, [x, a, b, c, d])`.
13451346
/// This `Span` is the span of the function, without the dot and receiver
13461347
/// (e.g. `foo(a, b)` in `x.foo(a, b)`
1347-
MethodCall(PathSegment, P<Expr>, Vec<P<Expr>>, Span),
1348+
MethodCall(PathSegment, Vec<P<Expr>>, Span),
13481349
/// A tuple (e.g., `(a, b, c, d)`).
13491350
Tup(Vec<P<Expr>>),
13501351
/// A binary operation (e.g., `a + b`, `a * b`).

‎compiler/rustc_ast/src/mut_visit.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1297,11 +1297,10 @@ pub fn noop_visit_expr<T: MutVisitor>(
12971297
vis.visit_expr(f);
12981298
visit_exprs(args, vis);
12991299
}
1300-
ExprKind::MethodCall(PathSegment { ident, id, args }, receiver, exprs, span) => {
1300+
ExprKind::MethodCall(PathSegment { ident, id, args }, exprs, span) => {
13011301
vis.visit_ident(ident);
13021302
vis.visit_id(id);
13031303
visit_opt(args, |args| vis.visit_generic_args(args));
1304-
vis.visit_expr(receiver);
13051304
visit_exprs(exprs, vis);
13061305
vis.visit_span(span);
13071306
}

‎compiler/rustc_ast/src/util/parser.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -396,9 +396,9 @@ pub fn contains_exterior_struct_lit(value: &ast::Expr) -> bool {
396396
contains_exterior_struct_lit(&x)
397397
}
398398

399-
ast::ExprKind::MethodCall(_, ref receiver, _, _) => {
399+
ast::ExprKind::MethodCall(.., ref exprs, _) => {
400400
// X { y: 1 }.bar(...)
401-
contains_exterior_struct_lit(&receiver)
401+
contains_exterior_struct_lit(&exprs[0])
402402
}
403403

404404
_ => false,

‎compiler/rustc_ast/src/visit.rs‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -795,9 +795,8 @@ pub fn walk_expr<'a, V: Visitor<'a>>(visitor: &mut V, expression: &'a Expr) {
795795
visitor.visit_expr(callee_expression);
796796
walk_list!(visitor, visit_expr, arguments);
797797
}
798-
ExprKind::MethodCall(ref segment, ref receiver, ref arguments, _span) => {
799-
visitor.visit_path_segment(segment);
800-
visitor.visit_expr(receiver);
798+
ExprKind::MethodCall(ref segment, ref arguments, _span) => {
799+
visitor.visit_path_segment(expression.span, segment);
801800
walk_list!(visitor, visit_expr, arguments);
802801
}
803802
ExprKind::Binary(_, ref left_expression, ref right_expression) => {

‎compiler/rustc_ast_lowering/src/expr.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -60,17 +60,17 @@ impl<'hir> LoweringContext<'_, 'hir> {
6060
hir::ExprKind::Call(f, self.lower_exprs(args))
6161
}
6262
}
63-
ExprKind::MethodCall(ref seg, ref receiver, ref args, span) => {
63+
ExprKind::MethodCall(ref seg, ref args, span) => {
6464
let hir_seg = self.arena.alloc(self.lower_path_segment(
6565
e.span,
6666
seg,
6767
ParamMode::Optional,
6868
ParenthesizedGenericArgs::Err,
6969
&ImplTraitContext::Disallowed(ImplTraitPosition::Path),
7070
));
71-
let receiver = self.lower_expr(receiver);
71+
let receiver = self.lower_expr(&args[0]);
7272
let args =
73-
self.arena.alloc_from_iter(args.iter().map(|x| self.lower_expr_mut(x)));
73+
self.arena.alloc_from_iter(args[1..].iter().map(|x| self.lower_expr_mut(x)));
7474
hir::ExprKind::MethodCall(hir_seg, receiver, args, self.lower_span(span))
7575
}
7676
ExprKind::Binary(binop, ref lhs, ref rhs) => {

‎compiler/rustc_ast_pretty/src/pprust/state/expr.rs‎

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -193,13 +193,9 @@ impl<'a> State<'a> {
193193
self.print_call_post(args)
194194
}
195195

196-
fn print_expr_method_call(
197-
&mut self,
198-
segment: &ast::PathSegment,
199-
receiver: &ast::Expr,
200-
base_args: &[P<ast::Expr>],
201-
) {
202-
self.print_expr_maybe_paren(receiver, parser::PREC_POSTFIX);
196+
fn print_expr_method_call(&mut self, segment: &ast::PathSegment, args: &[P<ast::Expr>]) {
197+
let base_args = &args[1..];
198+
self.print_expr_maybe_paren(&args[0], parser::PREC_POSTFIX);
203199
self.word(".");
204200
self.print_ident(segment.ident);
205201
if let Some(ref args) = segment.args {
@@ -307,8 +303,8 @@ impl<'a> State<'a> {
307303
ast::ExprKind::Call(ref func, ref args) => {
308304
self.print_expr_call(func, &args);
309305
}
310-
ast::ExprKind::MethodCall(ref segment, ref receiver, ref args, _) => {
311-
self.print_expr_method_call(segment, &receiver, &args);
306+
ast::ExprKind::MethodCall(ref segment, ref args, _) => {
307+
self.print_expr_method_call(segment, &args);
312308
}
313309
ast::ExprKind::Binary(op, ref lhs, ref rhs) => {
314310
self.print_expr_binary(op, lhs, rhs);

‎compiler/rustc_builtin_macros/src/assert/context.rs‎

Lines changed: 11 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -241,8 +241,8 @@ impl<'cx, 'a> Context<'cx, 'a> {
241241
self.manage_cond_expr(prefix);
242242
self.manage_cond_expr(suffix);
243243
}
244-
ExprKind::MethodCall(_, _,ref mut local_exprs, _) => {
245-
for local_expr in local_exprs.iter_mut() {
244+
ExprKind::MethodCall(_, ref mut local_exprs, _) => {
245+
for local_expr in local_exprs.iter_mut().skip(1) {
246246
self.manage_cond_expr(local_expr);
247247
}
248248
}
@@ -378,12 +378,14 @@ impl<'cx, 'a> Context<'cx, 'a> {
378378
id: DUMMY_NODE_ID,
379379
ident: Ident::new(sym::try_capture, self.span),
380380
},
381-
expr_paren(self.cx, self.span, self.cx.expr_addr_of(self.span, wrapper)),
382-
vec![expr_addr_of_mut(
383-
self.cx,
384-
self.span,
385-
self.cx.expr_path(Path::from_ident(capture)),
386-
)],
381+
vec![
382+
expr_paren(self.cx, self.span, self.cx.expr_addr_of(self.span, wrapper)),
383+
expr_addr_of_mut(
384+
self.cx,
385+
self.span,
386+
self.cx.expr_path(Path::from_ident(capture)),
387+
),
388+
],
387389
self.span,
388390
))
389391
.add_trailing_semicolon();
@@ -441,11 +443,10 @@ fn expr_addr_of_mut(cx: &ExtCtxt<'_>, sp: Span, e: P<Expr>) -> P<Expr> {
441443
fn expr_method_call(
442444
cx: &ExtCtxt<'_>,
443445
path: PathSegment,
444-
receiver: P<Expr>,
445446
args: Vec<P<Expr>>,
446447
span: Span,
447448
) -> P<Expr> {
448-
cx.expr(span, ExprKind::MethodCall(path, receiver, args, span))
449+
cx.expr(span, ExprKind::MethodCall(path, args, span))
449450
}
450451

451452
fn expr_paren(cx: &ExtCtxt<'_>, sp: Span, e: P<Expr>) -> P<Expr> {

‎compiler/rustc_lint/src/unused.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -608,7 +608,8 @@ trait UnusedDelimLint {
608608
ref call_or_other => {
609609
let (args_to_check, ctx) = match *call_or_other {
610610
Call(_, ref args) => (&args[..], UnusedDelimsCtx::FunctionArg),
611-
MethodCall(_, _, ref args, _) => (&args[..], UnusedDelimsCtx::MethodArg),
611+
// first "argument" is self (which sometimes needs delims)
612+
MethodCall(_, ref args, _) => (&args[1..], UnusedDelimsCtx::MethodArg),
612613
// actual catch-all arm
613614
_ => {
614615
return;

‎compiler/rustc_parse/src/parser/expr.rs‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -832,7 +832,7 @@ impl<'a> Parser<'a> {
832832
ExprKind::Index(_, _) => "indexing",
833833
ExprKind::Try(_) => "`?`",
834834
ExprKind::Field(_, _) => "a field access",
835-
ExprKind::MethodCall(_, _, _, _) => "a method call",
835+
ExprKind::MethodCall(_, _, _) => "a method call",
836836
ExprKind::Call(_, _) => "a function call",
837837
ExprKind::Await(_) => "`.await`",
838838
ExprKind::Err => return Ok(with_postfix),
@@ -1259,10 +1259,12 @@ impl<'a> Parser<'a> {
12591259

12601260
if self.check(&token::OpenDelim(Delimiter::Parenthesis)) {
12611261
// Method call `expr.f()`
1262-
let args = self.parse_paren_expr_seq()?;
1262+
let mut args = self.parse_paren_expr_seq()?;
1263+
args.insert(0, self_arg);
1264+
12631265
let fn_span = fn_span_lo.to(self.prev_token.span);
12641266
let span = lo.to(self.prev_token.span);
1265-
Ok(self.mk_expr(span, ExprKind::MethodCall(segment, self_arg, args, fn_span)))
1267+
Ok(self.mk_expr(span, ExprKind::MethodCall(segment, args, fn_span)))
12661268
} else {
12671269
// Field access `expr.f`
12681270
if let Some(args) = segment.args {

‎compiler/rustc_resolve/src/late.rs‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3793,8 +3793,9 @@ impl<'a: 'ast, 'b, 'ast> LateResolutionVisitor<'a, 'b, 'ast> {
37933793
ExprKind::Field(ref subexpression, _) => {
37943794
self.resolve_expr(subexpression, Some(expr));
37953795
}
3796-
ExprKind::MethodCall(ref segment, ref receiver, ref arguments, _) => {
3797-
self.resolve_expr(receiver, Some(expr));
3796+
ExprKind::MethodCall(ref segment, ref arguments, _) => {
3797+
let mut arguments = arguments.iter();
3798+
self.resolve_expr(arguments.next().unwrap(), Some(expr));
37983799
for argument in arguments {
37993800
self.resolve_expr(argument, None);
38003801
}

0 commit comments

Comments
 (0)