Skip to content

Commit 3f9068f

Browse files
rust-timerrust-timer
authored
Unrolled build for #142371
Rollup merge of #142371 - fee1-dead-contrib:push-xqlkumzurkus, r=petrochenkov avoid `&mut P<T>` in `visit_expr` etc methods trying a different way than #141636 r? ghost
2 parents 27eb269 + 5f0dd44 commit 3f9068f

File tree

11 files changed

+62
-45
lines changed

11 files changed

+62
-45
lines changed

‎compiler/rustc_ast/src/ast.rs

Lines changed: 22 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -710,6 +710,12 @@ impl Pat {
710710
}
711711
}
712712

713+
impl From<P<Pat>> for Pat {
714+
fn from(value: P<Pat>) -> Self {
715+
*value
716+
}
717+
}
718+
713719
/// A single field in a struct pattern.
714720
///
715721
/// Patterns like the fields of `Foo { x, ref y, ref mut z }`
@@ -1553,17 +1559,23 @@ impl Expr {
15531559
)
15541560
}
15551561

1556-
/// Creates a dummy `P<Expr>`.
1562+
/// Creates a dummy `Expr`.
15571563
///
15581564
/// Should only be used when it will be replaced afterwards or as a return value when an error was encountered.
1559-
pub fn dummy() -> P<Expr> {
1560-
P(Expr {
1565+
pub fn dummy() -> Expr {
1566+
Expr {
15611567
id: DUMMY_NODE_ID,
15621568
kind: ExprKind::Dummy,
15631569
span: DUMMY_SP,
15641570
attrs: ThinVec::new(),
15651571
tokens: None,
1566-
})
1572+
}
1573+
}
1574+
}
1575+
1576+
impl From<P<Expr>> for Expr {
1577+
fn from(value: P<Expr>) -> Self {
1578+
*value
15671579
}
15681580
}
15691581

@@ -2374,6 +2386,12 @@ impl Clone for Ty {
23742386
}
23752387
}
23762388

2389+
impl From<P<Ty>> for Ty {
2390+
fn from(value: P<Ty>) -> Self {
2391+
*value
2392+
}
2393+
}
2394+
23772395
impl Ty {
23782396
pub fn peel_refs(&self) -> &Self {
23792397
let mut final_ty = self;

‎compiler/rustc_ast/src/mut_visit.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -168,15 +168,15 @@ pub trait MutVisitor: Sized + MutVisitorResult<Result = ()> {
168168
walk_flat_map_arm(self, arm)
169169
}
170170

171-
fn visit_pat(&mut self, p: &mut P<Pat>) {
171+
fn visit_pat(&mut self, p: &mut Pat) {
172172
walk_pat(self, p);
173173
}
174174

175175
fn visit_anon_const(&mut self, c: &mut AnonConst) {
176176
walk_anon_const(self, c);
177177
}
178178

179-
fn visit_expr(&mut self, e: &mut P<Expr>) {
179+
fn visit_expr(&mut self, e: &mut Expr) {
180180
walk_expr(self, e);
181181
}
182182

@@ -194,7 +194,7 @@ pub trait MutVisitor: Sized + MutVisitorResult<Result = ()> {
194194
walk_generic_arg(self, arg);
195195
}
196196

197-
fn visit_ty(&mut self, t: &mut P<Ty>) {
197+
fn visit_ty(&mut self, t: &mut Ty) {
198198
walk_ty(self, t);
199199
}
200200

‎compiler/rustc_builtin_macros/src/cfg_eval.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -155,7 +155,7 @@ impl CfgEval<'_> {
155155

156156
impl MutVisitor for CfgEval<'_> {
157157
#[instrument(level = "trace", skip(self))]
158-
fn visit_expr(&mut self, expr: &mut P<ast::Expr>) {
158+
fn visit_expr(&mut self, expr: &mut ast::Expr) {
159159
self.0.configure_expr(expr, false);
160160
mut_visit::walk_expr(self, expr);
161161
}

‎compiler/rustc_builtin_macros/src/deriving/coerce_pointee.rs

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
use ast::HasAttrs;
2-
use ast::ptr::P;
32
use rustc_ast::mut_visit::MutVisitor;
43
use rustc_ast::visit::BoundKind;
54
use rustc_ast::{
@@ -378,11 +377,11 @@ struct TypeSubstitution<'a> {
378377
}
379378

380379
impl<'a> ast::mut_visit::MutVisitor for TypeSubstitution<'a> {
381-
fn visit_ty(&mut self, ty: &mut P<ast::Ty>) {
380+
fn visit_ty(&mut self, ty: &mut ast::Ty) {
382381
if let Some(name) = ty.kind.is_simple_path()
383382
&& name == self.from_name
384383
{
385-
**ty = self.to_ty.clone();
384+
*ty = self.to_ty.clone();
386385
self.rewritten = true;
387386
} else {
388387
ast::mut_visit::walk_ty(self, ty);

‎compiler/rustc_expand/src/expand.rs

Lines changed: 18 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1768,7 +1768,7 @@ impl InvocationCollectorNode for ast::Crate {
17681768
}
17691769
}
17701770

1771-
impl InvocationCollectorNode for P<ast::Ty> {
1771+
impl InvocationCollectorNode for ast::Ty {
17721772
type OutputTy = P<ast::Ty>;
17731773
const KIND: AstFragmentKind = AstFragmentKind::Ty;
17741774
fn to_annotatable(self) -> Annotatable {
@@ -1791,7 +1791,7 @@ impl InvocationCollectorNode for P<ast::Ty> {
17911791
}
17921792
}
17931793

1794-
impl InvocationCollectorNode for P<ast::Pat> {
1794+
impl InvocationCollectorNode for ast::Pat {
17951795
type OutputTy = P<ast::Pat>;
17961796
const KIND: AstFragmentKind = AstFragmentKind::Pat;
17971797
fn to_annotatable(self) -> Annotatable {
@@ -1814,11 +1814,11 @@ impl InvocationCollectorNode for P<ast::Pat> {
18141814
}
18151815
}
18161816

1817-
impl InvocationCollectorNode for P<ast::Expr> {
1817+
impl InvocationCollectorNode for ast::Expr {
18181818
type OutputTy = P<ast::Expr>;
18191819
const KIND: AstFragmentKind = AstFragmentKind::Expr;
18201820
fn to_annotatable(self) -> Annotatable {
1821-
Annotatable::Expr(self)
1821+
Annotatable::Expr(P(self))
18221822
}
18231823
fn fragment_to_output(fragment: AstFragment) -> Self::OutputTy {
18241824
fragment.make_expr()
@@ -1955,37 +1955,37 @@ impl DummyAstNode for ast::Crate {
19551955
}
19561956
}
19571957

1958-
impl DummyAstNode for P<ast::Ty> {
1958+
impl DummyAstNode for ast::Ty {
19591959
fn dummy() -> Self {
1960-
P(ast::Ty {
1960+
ast::Ty {
19611961
id: DUMMY_NODE_ID,
19621962
kind: TyKind::Dummy,
19631963
span: Default::default(),
19641964
tokens: Default::default(),
1965-
})
1965+
}
19661966
}
19671967
}
19681968

1969-
impl DummyAstNode for P<ast::Pat> {
1969+
impl DummyAstNode for ast::Pat {
19701970
fn dummy() -> Self {
1971-
P(ast::Pat {
1971+
ast::Pat {
19721972
id: DUMMY_NODE_ID,
19731973
kind: PatKind::Wild,
19741974
span: Default::default(),
19751975
tokens: Default::default(),
1976-
})
1976+
}
19771977
}
19781978
}
19791979

1980-
impl DummyAstNode for P<ast::Expr> {
1980+
impl DummyAstNode for ast::Expr {
19811981
fn dummy() -> Self {
19821982
ast::Expr::dummy()
19831983
}
19841984
}
19851985

19861986
impl DummyAstNode for AstNodeWrapper<P<ast::Expr>, MethodReceiverTag> {
19871987
fn dummy() -> Self {
1988-
AstNodeWrapper::new(ast::Expr::dummy(), MethodReceiverTag)
1988+
AstNodeWrapper::new(P(ast::Expr::dummy()), MethodReceiverTag)
19891989
}
19901990
}
19911991

@@ -2272,7 +2272,7 @@ impl<'a, 'b> InvocationCollector<'a, 'b> {
22722272
}
22732273
}
22742274

2275-
fn visit_node<Node: InvocationCollectorNode<OutputTy = Node> + DummyAstNode>(
2275+
fn visit_node<Node: InvocationCollectorNode<OutputTy: Into<Node>> + DummyAstNode>(
22762276
&mut self,
22772277
node: &mut Node,
22782278
) {
@@ -2297,14 +2297,15 @@ impl<'a, 'b> InvocationCollector<'a, 'b> {
22972297
*node = self
22982298
.collect_attr((attr, pos, derives), n.to_annotatable(), Node::KIND)
22992299
.make_ast::<Node>()
2300+
.into()
23002301
}
23012302
},
23022303
None if node.is_mac_call() => {
23032304
let n = mem::replace(node, Node::dummy());
23042305
let (mac, attrs, _) = n.take_mac_call();
23052306
self.check_attributes(&attrs, &mac);
23062307

2307-
*node = self.collect_bang(mac, Node::KIND).make_ast::<Node>()
2308+
*node = self.collect_bang(mac, Node::KIND).make_ast::<Node>().into()
23082309
}
23092310
None if node.delegation().is_some() => unreachable!(),
23102311
None => {
@@ -2414,15 +2415,15 @@ impl<'a, 'b> MutVisitor for InvocationCollector<'a, 'b> {
24142415
self.visit_node(node)
24152416
}
24162417

2417-
fn visit_ty(&mut self, node: &mut P<ast::Ty>) {
2418+
fn visit_ty(&mut self, node: &mut ast::Ty) {
24182419
self.visit_node(node)
24192420
}
24202421

2421-
fn visit_pat(&mut self, node: &mut P<ast::Pat>) {
2422+
fn visit_pat(&mut self, node: &mut ast::Pat) {
24222423
self.visit_node(node)
24232424
}
24242425

2425-
fn visit_expr(&mut self, node: &mut P<ast::Expr>) {
2426+
fn visit_expr(&mut self, node: &mut ast::Expr) {
24262427
// FIXME: Feature gating is performed inconsistently between `Expr` and `OptExpr`.
24272428
if let Some(attr) = node.attrs.first() {
24282429
self.cfg().maybe_emit_expr_attr_err(attr);

‎compiler/rustc_expand/src/placeholders.rs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -332,9 +332,9 @@ impl MutVisitor for PlaceholderExpander {
332332
}
333333
}
334334

335-
fn visit_expr(&mut self, expr: &mut P<ast::Expr>) {
335+
fn visit_expr(&mut self, expr: &mut ast::Expr) {
336336
match expr.kind {
337-
ast::ExprKind::MacCall(_) => *expr = self.remove(expr.id).make_expr(),
337+
ast::ExprKind::MacCall(_) => *expr = *self.remove(expr.id).make_expr(),
338338
_ => walk_expr(self, expr),
339339
}
340340
}
@@ -399,16 +399,16 @@ impl MutVisitor for PlaceholderExpander {
399399
stmts
400400
}
401401

402-
fn visit_pat(&mut self, pat: &mut P<ast::Pat>) {
402+
fn visit_pat(&mut self, pat: &mut ast::Pat) {
403403
match pat.kind {
404-
ast::PatKind::MacCall(_) => *pat = self.remove(pat.id).make_pat(),
404+
ast::PatKind::MacCall(_) => *pat = *self.remove(pat.id).make_pat(),
405405
_ => walk_pat(self, pat),
406406
}
407407
}
408408

409-
fn visit_ty(&mut self, ty: &mut P<ast::Ty>) {
409+
fn visit_ty(&mut self, ty: &mut ast::Ty) {
410410
match ty.kind {
411-
ast::TyKind::MacCall(_) => *ty = self.remove(ty.id).make_ty(),
411+
ast::TyKind::MacCall(_) => *ty = *self.remove(ty.id).make_ty(),
412412
_ => walk_ty(self, ty),
413413
}
414414
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4087,7 +4087,7 @@ impl<'a> CondChecker<'a> {
40874087
}
40884088

40894089
impl MutVisitor for CondChecker<'_> {
4090-
fn visit_expr(&mut self, e: &mut P<Expr>) {
4090+
fn visit_expr(&mut self, e: &mut Expr) {
40914091
self.depth += 1;
40924092
use ForbiddenLetReason::*;
40934093

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1094,7 +1094,7 @@ impl<'a> Parser<'a> {
10941094
fn make_all_value_bindings_mutable(pat: &mut P<Pat>) -> bool {
10951095
struct AddMut(bool);
10961096
impl MutVisitor for AddMut {
1097-
fn visit_pat(&mut self, pat: &mut P<Pat>) {
1097+
fn visit_pat(&mut self, pat: &mut Pat) {
10981098
if let PatKind::Ident(BindingMode(ByRef::No, m @ Mutability::Not), ..) =
10991099
&mut pat.kind
11001100
{

‎src/tools/clippy/clippy_lints/src/unnested_or_patterns.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ fn remove_all_parens(pat: &mut P<Pat>) {
128128
}
129129

130130
impl MutVisitor for Visitor {
131-
fn visit_pat(&mut self, pat: &mut P<Pat>) {
131+
fn visit_pat(&mut self, pat: &mut Pat) {
132132
let is_inner = mem::replace(&mut self.is_inner, true);
133133
walk_pat(self, pat);
134134
let inner = match &mut pat.kind {
@@ -145,7 +145,7 @@ fn remove_all_parens(pat: &mut P<Pat>) {
145145
fn insert_necessary_parens(pat: &mut P<Pat>) {
146146
struct Visitor;
147147
impl MutVisitor for Visitor {
148-
fn visit_pat(&mut self, pat: &mut P<Pat>) {
148+
fn visit_pat(&mut self, pat: &mut Pat) {
149149
use ast::BindingMode;
150150
walk_pat(self, pat);
151151
let target = match &mut pat.kind {
@@ -167,7 +167,7 @@ fn unnest_or_patterns(pat: &mut P<Pat>) -> bool {
167167
changed: bool,
168168
}
169169
impl MutVisitor for Visitor {
170-
fn visit_pat(&mut self, p: &mut P<Pat>) {
170+
fn visit_pat(&mut self, p: &mut Pat) {
171171
// This is a bottom up transformation, so recurse first.
172172
walk_pat(self, p);
173173

‎tests/ui-fulldeps/pprust-expr-roundtrip.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -187,9 +187,9 @@ fn iter_exprs(depth: usize, f: &mut dyn FnMut(P<Expr>)) {
187187
struct RemoveParens;
188188

189189
impl MutVisitor for RemoveParens {
190-
fn visit_expr(&mut self, e: &mut P<Expr>) {
190+
fn visit_expr(&mut self, e: &mut Expr) {
191191
match e.kind.clone() {
192-
ExprKind::Paren(inner) => *e = inner,
192+
ExprKind::Paren(inner) => *e = *inner,
193193
_ => {}
194194
};
195195
mut_visit::walk_expr(self, e);
@@ -200,11 +200,11 @@ impl MutVisitor for RemoveParens {
200200
struct AddParens;
201201

202202
impl MutVisitor for AddParens {
203-
fn visit_expr(&mut self, e: &mut P<Expr>) {
203+
fn visit_expr(&mut self, e: &mut Expr) {
204204
mut_visit::walk_expr(self, e);
205205
let expr = std::mem::replace(e, Expr::dummy());
206206

207-
e.kind = ExprKind::Paren(expr);
207+
e.kind = ExprKind::Paren(P(expr));
208208
}
209209
}
210210

‎tests/ui-fulldeps/pprust-parenthesis-insertion.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,6 @@ use std::process::ExitCode;
4343
use parser::parse_expr;
4444
use rustc_ast::ast::{Expr, ExprKind};
4545
use rustc_ast::mut_visit::{self, MutVisitor};
46-
use rustc_ast::ptr::P;
4746
use rustc_ast_pretty::pprust;
4847
use rustc_session::parse::ParseSess;
4948

@@ -157,7 +156,7 @@ static EXPRS: &[&str] = &[
157156
struct Unparenthesize;
158157

159158
impl MutVisitor for Unparenthesize {
160-
fn visit_expr(&mut self, e: &mut P<Expr>) {
159+
fn visit_expr(&mut self, e: &mut Expr) {
161160
while let ExprKind::Paren(paren) = &mut e.kind {
162161
*e = mem::replace(paren, Expr::dummy());
163162
}

0 commit comments

Comments
 (0)