]> git.proxmox.com Git - rustc.git/blame - src/librustc_front/fold.rs
Imported Upstream version 1.8.0+dfsg1
[rustc.git] / src / librustc_front / fold.rs
CommitLineData
e9174d1e
SL
1// Copyright 2012-2015 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
11//! A Folder represents an HIR->HIR fold; it accepts a HIR piece,
12//! and returns a piece of the same type.
13
14use hir::*;
92a42be0 15use syntax::ast::{Name, NodeId, DUMMY_NODE_ID, Attribute, Attribute_, MetaItem};
7453a54e 16use syntax::ast::MetaItemKind;
92a42be0 17use syntax::attr::ThinAttributesExt;
e9174d1e
SL
18use hir;
19use syntax::codemap::{respan, Span, Spanned};
e9174d1e
SL
20use syntax::ptr::P;
21use syntax::parse::token;
92a42be0 22use syntax::util::move_map::MoveMap;
e9174d1e
SL
23
24pub trait Folder : Sized {
25 // Any additions to this trait should happen in form
26 // of a call to a public `noop_*` function that only calls
27 // out to the folder again, not other `noop_*` functions.
28 //
29 // This is a necessary API workaround to the problem of not
30 // being able to call out to the super default method
31 // in an overridden default method.
32
33 fn fold_crate(&mut self, c: Crate) -> Crate {
34 noop_fold_crate(c, self)
35 }
36
9cc50fc6 37 fn fold_meta_items(&mut self, meta_items: HirVec<P<MetaItem>>) -> HirVec<P<MetaItem>> {
e9174d1e
SL
38 noop_fold_meta_items(meta_items, self)
39 }
40
41 fn fold_meta_item(&mut self, meta_item: P<MetaItem>) -> P<MetaItem> {
42 noop_fold_meta_item(meta_item, self)
43 }
44
45 fn fold_view_path(&mut self, view_path: P<ViewPath>) -> P<ViewPath> {
46 noop_fold_view_path(view_path, self)
47 }
48
92a42be0 49 fn fold_foreign_item(&mut self, ni: ForeignItem) -> ForeignItem {
e9174d1e
SL
50 noop_fold_foreign_item(ni, self)
51 }
52
92a42be0 53 fn fold_item(&mut self, i: Item) -> Item {
e9174d1e
SL
54 noop_fold_item(i, self)
55 }
56
92a42be0
SL
57 fn fold_item_id(&mut self, i: ItemId) -> ItemId {
58 noop_fold_item_id(i, self)
e9174d1e
SL
59 }
60
61 fn fold_struct_field(&mut self, sf: StructField) -> StructField {
62 noop_fold_struct_field(sf, self)
63 }
64
65 fn fold_item_underscore(&mut self, i: Item_) -> Item_ {
66 noop_fold_item_underscore(i, self)
67 }
68
92a42be0 69 fn fold_trait_item(&mut self, i: TraitItem) -> TraitItem {
e9174d1e
SL
70 noop_fold_trait_item(i, self)
71 }
72
92a42be0 73 fn fold_impl_item(&mut self, i: ImplItem) -> ImplItem {
e9174d1e
SL
74 noop_fold_impl_item(i, self)
75 }
76
77 fn fold_fn_decl(&mut self, d: P<FnDecl>) -> P<FnDecl> {
78 noop_fold_fn_decl(d, self)
79 }
80
81 fn fold_block(&mut self, b: P<Block>) -> P<Block> {
82 noop_fold_block(b, self)
83 }
84
92a42be0
SL
85 fn fold_stmt(&mut self, s: Stmt) -> Stmt {
86 noop_fold_stmt(s, self)
e9174d1e
SL
87 }
88
89 fn fold_arm(&mut self, a: Arm) -> Arm {
90 noop_fold_arm(a, self)
91 }
92
93 fn fold_pat(&mut self, p: P<Pat>) -> P<Pat> {
94 noop_fold_pat(p, self)
95 }
96
92a42be0 97 fn fold_decl(&mut self, d: P<Decl>) -> P<Decl> {
e9174d1e
SL
98 noop_fold_decl(d, self)
99 }
100
101 fn fold_expr(&mut self, e: P<Expr>) -> P<Expr> {
102 e.map(|e| noop_fold_expr(e, self))
103 }
104
105 fn fold_ty(&mut self, t: P<Ty>) -> P<Ty> {
106 noop_fold_ty(t, self)
107 }
108
92a42be0 109 fn fold_ty_binding(&mut self, t: TypeBinding) -> TypeBinding {
e9174d1e
SL
110 noop_fold_ty_binding(t, self)
111 }
112
113 fn fold_mod(&mut self, m: Mod) -> Mod {
114 noop_fold_mod(m, self)
115 }
116
117 fn fold_foreign_mod(&mut self, nm: ForeignMod) -> ForeignMod {
118 noop_fold_foreign_mod(nm, self)
119 }
120
92a42be0 121 fn fold_variant(&mut self, v: Variant) -> Variant {
e9174d1e
SL
122 noop_fold_variant(v, self)
123 }
124
b039eaaf
SL
125 fn fold_name(&mut self, n: Name) -> Name {
126 noop_fold_name(n, self)
127 }
128
e9174d1e
SL
129 fn fold_ident(&mut self, i: Ident) -> Ident {
130 noop_fold_ident(i, self)
131 }
132
133 fn fold_usize(&mut self, i: usize) -> usize {
134 noop_fold_usize(i, self)
135 }
136
137 fn fold_path(&mut self, p: Path) -> Path {
138 noop_fold_path(p, self)
139 }
140
141 fn fold_path_parameters(&mut self, p: PathParameters) -> PathParameters {
142 noop_fold_path_parameters(p, self)
143 }
144
b039eaaf
SL
145 fn fold_angle_bracketed_parameter_data(&mut self,
146 p: AngleBracketedParameterData)
147 -> AngleBracketedParameterData {
e9174d1e
SL
148 noop_fold_angle_bracketed_parameter_data(p, self)
149 }
150
b039eaaf
SL
151 fn fold_parenthesized_parameter_data(&mut self,
152 p: ParenthesizedParameterData)
153 -> ParenthesizedParameterData {
e9174d1e
SL
154 noop_fold_parenthesized_parameter_data(p, self)
155 }
156
157 fn fold_local(&mut self, l: P<Local>) -> P<Local> {
158 noop_fold_local(l, self)
159 }
160
161 fn fold_explicit_self(&mut self, es: ExplicitSelf) -> ExplicitSelf {
162 noop_fold_explicit_self(es, self)
163 }
164
165 fn fold_explicit_self_underscore(&mut self, es: ExplicitSelf_) -> ExplicitSelf_ {
166 noop_fold_explicit_self_underscore(es, self)
167 }
168
169 fn fold_lifetime(&mut self, l: Lifetime) -> Lifetime {
170 noop_fold_lifetime(l, self)
171 }
172
173 fn fold_lifetime_def(&mut self, l: LifetimeDef) -> LifetimeDef {
174 noop_fold_lifetime_def(l, self)
175 }
176
177 fn fold_attribute(&mut self, at: Attribute) -> Option<Attribute> {
178 noop_fold_attribute(at, self)
179 }
180
181 fn fold_arg(&mut self, a: Arg) -> Arg {
182 noop_fold_arg(a, self)
183 }
184
185 fn fold_generics(&mut self, generics: Generics) -> Generics {
186 noop_fold_generics(generics, self)
187 }
188
189 fn fold_trait_ref(&mut self, p: TraitRef) -> TraitRef {
190 noop_fold_trait_ref(p, self)
191 }
192
193 fn fold_poly_trait_ref(&mut self, p: PolyTraitRef) -> PolyTraitRef {
194 noop_fold_poly_trait_ref(p, self)
195 }
196
b039eaaf
SL
197 fn fold_variant_data(&mut self, vdata: VariantData) -> VariantData {
198 noop_fold_variant_data(vdata, self)
e9174d1e
SL
199 }
200
9cc50fc6 201 fn fold_lifetimes(&mut self, lts: HirVec<Lifetime>) -> HirVec<Lifetime> {
e9174d1e
SL
202 noop_fold_lifetimes(lts, self)
203 }
204
9cc50fc6 205 fn fold_lifetime_defs(&mut self, lts: HirVec<LifetimeDef>) -> HirVec<LifetimeDef> {
e9174d1e
SL
206 noop_fold_lifetime_defs(lts, self)
207 }
208
209 fn fold_ty_param(&mut self, tp: TyParam) -> TyParam {
210 noop_fold_ty_param(tp, self)
211 }
212
9cc50fc6 213 fn fold_ty_params(&mut self, tps: HirVec<TyParam>) -> HirVec<TyParam> {
e9174d1e
SL
214 noop_fold_ty_params(tps, self)
215 }
216
217 fn fold_opt_lifetime(&mut self, o_lt: Option<Lifetime>) -> Option<Lifetime> {
218 noop_fold_opt_lifetime(o_lt, self)
219 }
220
b039eaaf 221 fn fold_opt_bounds(&mut self,
9cc50fc6
SL
222 b: Option<TyParamBounds>)
223 -> Option<TyParamBounds> {
e9174d1e
SL
224 noop_fold_opt_bounds(b, self)
225 }
226
9cc50fc6 227 fn fold_bounds(&mut self, b: TyParamBounds) -> TyParamBounds {
e9174d1e
SL
228 noop_fold_bounds(b, self)
229 }
230
231 fn fold_ty_param_bound(&mut self, tpb: TyParamBound) -> TyParamBound {
232 noop_fold_ty_param_bound(tpb, self)
233 }
234
235 fn fold_mt(&mut self, mt: MutTy) -> MutTy {
236 noop_fold_mt(mt, self)
237 }
238
239 fn fold_field(&mut self, field: Field) -> Field {
240 noop_fold_field(field, self)
241 }
242
b039eaaf 243 fn fold_where_clause(&mut self, where_clause: WhereClause) -> WhereClause {
e9174d1e
SL
244 noop_fold_where_clause(where_clause, self)
245 }
246
b039eaaf 247 fn fold_where_predicate(&mut self, where_predicate: WherePredicate) -> WherePredicate {
e9174d1e
SL
248 noop_fold_where_predicate(where_predicate, self)
249 }
250
92a42be0 251 /// called for the `id` on each declaration
e9174d1e
SL
252 fn new_id(&mut self, i: NodeId) -> NodeId {
253 i
254 }
255
92a42be0
SL
256 /// called for ids that are references (e.g., ItemDef)
257 fn map_id(&mut self, i: NodeId) -> NodeId {
258 i
259 }
260
e9174d1e
SL
261 fn new_span(&mut self, sp: Span) -> Span {
262 sp
263 }
264}
265
9cc50fc6 266pub fn noop_fold_meta_items<T: Folder>(meta_items: HirVec<P<MetaItem>>,
b039eaaf 267 fld: &mut T)
9cc50fc6 268 -> HirVec<P<MetaItem>> {
e9174d1e
SL
269 meta_items.move_map(|x| fld.fold_meta_item(x))
270}
271
272pub fn noop_fold_view_path<T: Folder>(view_path: P<ViewPath>, fld: &mut T) -> P<ViewPath> {
b039eaaf
SL
273 view_path.map(|Spanned { node, span }| {
274 Spanned {
275 node: match node {
276 ViewPathSimple(name, path) => {
277 ViewPathSimple(name, fld.fold_path(path))
278 }
279 ViewPathGlob(path) => {
280 ViewPathGlob(fld.fold_path(path))
281 }
282 ViewPathList(path, path_list_idents) => {
283 ViewPathList(fld.fold_path(path),
284 path_list_idents.move_map(|path_list_ident| {
285 Spanned {
286 node: match path_list_ident.node {
287 PathListIdent { id, name, rename } => PathListIdent {
288 id: fld.new_id(id),
289 name: name,
290 rename: rename,
291 },
292 PathListMod { id, rename } => PathListMod {
293 id: fld.new_id(id),
294 rename: rename,
295 },
296 },
297 span: fld.new_span(path_list_ident.span),
298 }
299 }))
300 }
301 },
302 span: fld.new_span(span),
303 }
e9174d1e
SL
304 })
305}
306
9cc50fc6 307pub fn fold_attrs<T: Folder>(attrs: HirVec<Attribute>, fld: &mut T) -> HirVec<Attribute> {
92a42be0 308 attrs.move_flat_map(|x| fld.fold_attribute(x))
e9174d1e
SL
309}
310
b039eaaf 311pub fn noop_fold_arm<T: Folder>(Arm { attrs, pats, guard, body }: Arm, fld: &mut T) -> Arm {
e9174d1e
SL
312 Arm {
313 attrs: fold_attrs(attrs, fld),
314 pats: pats.move_map(|x| fld.fold_pat(x)),
315 guard: guard.map(|x| fld.fold_expr(x)),
316 body: fld.fold_expr(body),
317 }
318}
319
92a42be0
SL
320pub fn noop_fold_decl<T: Folder>(d: P<Decl>, fld: &mut T) -> P<Decl> {
321 d.map(|Spanned { node, span }| {
b039eaaf 322 match node {
92a42be0 323 DeclLocal(l) => Spanned {
b039eaaf
SL
324 node: DeclLocal(fld.fold_local(l)),
325 span: fld.new_span(span),
92a42be0
SL
326 },
327 DeclItem(it) => Spanned {
328 node: DeclItem(fld.fold_item_id(it)),
329 span: fld.new_span(span),
330 },
b039eaaf 331 }
e9174d1e
SL
332 })
333}
334
92a42be0
SL
335pub fn noop_fold_ty_binding<T: Folder>(b: TypeBinding, fld: &mut T) -> TypeBinding {
336 TypeBinding {
337 id: fld.new_id(b.id),
338 name: b.name,
339 ty: fld.fold_ty(b.ty),
340 span: fld.new_span(b.span),
341 }
e9174d1e
SL
342}
343
344pub fn noop_fold_ty<T: Folder>(t: P<Ty>, fld: &mut T) -> P<Ty> {
b039eaaf
SL
345 t.map(|Ty { id, node, span }| {
346 Ty {
347 id: fld.new_id(id),
348 node: match node {
349 TyInfer => node,
350 TyVec(ty) => TyVec(fld.fold_ty(ty)),
351 TyPtr(mt) => TyPtr(fld.fold_mt(mt)),
352 TyRptr(region, mt) => {
353 TyRptr(fld.fold_opt_lifetime(region), fld.fold_mt(mt))
354 }
355 TyBareFn(f) => {
356 TyBareFn(f.map(|BareFnTy { lifetimes, unsafety, abi, decl }| {
357 BareFnTy {
358 lifetimes: fld.fold_lifetime_defs(lifetimes),
359 unsafety: unsafety,
360 abi: abi,
361 decl: fld.fold_fn_decl(decl),
362 }
363 }))
364 }
365 TyTup(tys) => TyTup(tys.move_map(|ty| fld.fold_ty(ty))),
b039eaaf
SL
366 TyPath(qself, path) => {
367 let qself = qself.map(|QSelf { ty, position }| {
368 QSelf {
369 ty: fld.fold_ty(ty),
370 position: position,
371 }
372 });
373 TyPath(qself, fld.fold_path(path))
374 }
375 TyObjectSum(ty, bounds) => {
376 TyObjectSum(fld.fold_ty(ty), fld.fold_bounds(bounds))
377 }
378 TyFixedLengthVec(ty, e) => {
379 TyFixedLengthVec(fld.fold_ty(ty), fld.fold_expr(e))
380 }
381 TyTypeof(expr) => {
382 TyTypeof(fld.fold_expr(expr))
383 }
384 TyPolyTraitRef(bounds) => {
385 TyPolyTraitRef(bounds.move_map(|b| fld.fold_ty_param_bound(b)))
386 }
387 },
388 span: fld.new_span(span),
389 }
e9174d1e
SL
390 })
391}
392
b039eaaf
SL
393pub fn noop_fold_foreign_mod<T: Folder>(ForeignMod { abi, items }: ForeignMod,
394 fld: &mut T)
395 -> ForeignMod {
e9174d1e
SL
396 ForeignMod {
397 abi: abi,
398 items: items.move_map(|x| fld.fold_foreign_item(x)),
399 }
400}
401
92a42be0
SL
402pub fn noop_fold_variant<T: Folder>(v: Variant, fld: &mut T) -> Variant {
403 Spanned {
e9174d1e 404 node: Variant_ {
92a42be0
SL
405 name: v.node.name,
406 attrs: fold_attrs(v.node.attrs, fld),
407 data: fld.fold_variant_data(v.node.data),
408 disr_expr: v.node.disr_expr.map(|e| fld.fold_expr(e)),
e9174d1e 409 },
92a42be0
SL
410 span: fld.new_span(v.span),
411 }
e9174d1e
SL
412}
413
b039eaaf
SL
414pub fn noop_fold_name<T: Folder>(n: Name, _: &mut T) -> Name {
415 n
416}
417
e9174d1e
SL
418pub fn noop_fold_ident<T: Folder>(i: Ident, _: &mut T) -> Ident {
419 i
420}
421
422pub fn noop_fold_usize<T: Folder>(i: usize, _: &mut T) -> usize {
423 i
424}
425
b039eaaf 426pub fn noop_fold_path<T: Folder>(Path { global, segments, span }: Path, fld: &mut T) -> Path {
e9174d1e
SL
427 Path {
428 global: global,
b039eaaf
SL
429 segments: segments.move_map(|PathSegment { identifier, parameters }| {
430 PathSegment {
431 identifier: fld.fold_ident(identifier),
432 parameters: fld.fold_path_parameters(parameters),
433 }
e9174d1e 434 }),
b039eaaf 435 span: fld.new_span(span),
e9174d1e
SL
436 }
437}
438
b039eaaf
SL
439pub fn noop_fold_path_parameters<T: Folder>(path_parameters: PathParameters,
440 fld: &mut T)
441 -> PathParameters {
e9174d1e
SL
442 match path_parameters {
443 AngleBracketedParameters(data) =>
444 AngleBracketedParameters(fld.fold_angle_bracketed_parameter_data(data)),
445 ParenthesizedParameters(data) =>
446 ParenthesizedParameters(fld.fold_parenthesized_parameter_data(data)),
447 }
448}
449
450pub fn noop_fold_angle_bracketed_parameter_data<T: Folder>(data: AngleBracketedParameterData,
451 fld: &mut T)
b039eaaf 452 -> AngleBracketedParameterData {
e9174d1e 453 let AngleBracketedParameterData { lifetimes, types, bindings } = data;
b039eaaf
SL
454 AngleBracketedParameterData {
455 lifetimes: fld.fold_lifetimes(lifetimes),
456 types: types.move_map(|ty| fld.fold_ty(ty)),
457 bindings: bindings.move_map(|b| fld.fold_ty_binding(b)),
458 }
e9174d1e
SL
459}
460
461pub fn noop_fold_parenthesized_parameter_data<T: Folder>(data: ParenthesizedParameterData,
462 fld: &mut T)
b039eaaf 463 -> ParenthesizedParameterData {
e9174d1e 464 let ParenthesizedParameterData { inputs, output, span } = data;
b039eaaf
SL
465 ParenthesizedParameterData {
466 inputs: inputs.move_map(|ty| fld.fold_ty(ty)),
467 output: output.map(|ty| fld.fold_ty(ty)),
468 span: fld.new_span(span),
469 }
e9174d1e
SL
470}
471
472pub fn noop_fold_local<T: Folder>(l: P<Local>, fld: &mut T) -> P<Local> {
92a42be0 473 l.map(|Local { id, pat, ty, init, span, attrs }| {
b039eaaf
SL
474 Local {
475 id: fld.new_id(id),
476 ty: ty.map(|t| fld.fold_ty(t)),
477 pat: fld.fold_pat(pat),
478 init: init.map(|e| fld.fold_expr(e)),
479 span: fld.new_span(span),
9cc50fc6 480 attrs: attrs.map_thin_attrs(|attrs| fold_attrs(attrs.into(), fld).into()),
b039eaaf 481 }
e9174d1e
SL
482 })
483}
484
485pub fn noop_fold_attribute<T: Folder>(at: Attribute, fld: &mut T) -> Option<Attribute> {
486 let Spanned {node: Attribute_ {id, style, value, is_sugared_doc}, span} = at;
487 Some(Spanned {
488 node: Attribute_ {
489 id: id,
490 style: style,
491 value: fld.fold_meta_item(value),
b039eaaf 492 is_sugared_doc: is_sugared_doc,
e9174d1e 493 },
b039eaaf 494 span: fld.new_span(span),
e9174d1e
SL
495 })
496}
497
b039eaaf
SL
498pub fn noop_fold_explicit_self_underscore<T: Folder>(es: ExplicitSelf_,
499 fld: &mut T)
e9174d1e
SL
500 -> ExplicitSelf_ {
501 match es {
502 SelfStatic | SelfValue(_) => es,
b039eaaf
SL
503 SelfRegion(lifetime, m, name) => {
504 SelfRegion(fld.fold_opt_lifetime(lifetime), m, name)
e9174d1e 505 }
b039eaaf
SL
506 SelfExplicit(typ, name) => {
507 SelfExplicit(fld.fold_ty(typ), name)
e9174d1e
SL
508 }
509 }
510}
511
b039eaaf
SL
512pub fn noop_fold_explicit_self<T: Folder>(Spanned { span, node }: ExplicitSelf,
513 fld: &mut T)
e9174d1e
SL
514 -> ExplicitSelf {
515 Spanned {
516 node: fld.fold_explicit_self_underscore(node),
b039eaaf 517 span: fld.new_span(span),
e9174d1e
SL
518 }
519}
520
521pub fn noop_fold_meta_item<T: Folder>(mi: P<MetaItem>, fld: &mut T) -> P<MetaItem> {
b039eaaf
SL
522 mi.map(|Spanned { node, span }| {
523 Spanned {
524 node: match node {
7453a54e
SL
525 MetaItemKind::Word(id) => MetaItemKind::Word(id),
526 MetaItemKind::List(id, mis) => {
527 MetaItemKind::List(id, mis.move_map(|e| fld.fold_meta_item(e)))
b039eaaf 528 }
7453a54e 529 MetaItemKind::NameValue(id, s) => MetaItemKind::NameValue(id, s),
b039eaaf
SL
530 },
531 span: fld.new_span(span),
532 }
e9174d1e
SL
533 })
534}
535
b039eaaf 536pub fn noop_fold_arg<T: Folder>(Arg { id, pat, ty }: Arg, fld: &mut T) -> Arg {
e9174d1e
SL
537 Arg {
538 id: fld.new_id(id),
539 pat: fld.fold_pat(pat),
b039eaaf 540 ty: fld.fold_ty(ty),
e9174d1e
SL
541 }
542}
543
544pub fn noop_fold_fn_decl<T: Folder>(decl: P<FnDecl>, fld: &mut T) -> P<FnDecl> {
b039eaaf
SL
545 decl.map(|FnDecl { inputs, output, variadic }| {
546 FnDecl {
547 inputs: inputs.move_map(|x| fld.fold_arg(x)),
548 output: match output {
549 Return(ty) => Return(fld.fold_ty(ty)),
550 DefaultReturn(span) => DefaultReturn(span),
551 NoReturn(span) => NoReturn(span),
552 },
553 variadic: variadic,
554 }
e9174d1e
SL
555 })
556}
557
b039eaaf
SL
558pub fn noop_fold_ty_param_bound<T>(tpb: TyParamBound, fld: &mut T) -> TyParamBound
559 where T: Folder
560{
e9174d1e
SL
561 match tpb {
562 TraitTyParamBound(ty, modifier) => TraitTyParamBound(fld.fold_poly_trait_ref(ty), modifier),
563 RegionTyParamBound(lifetime) => RegionTyParamBound(fld.fold_lifetime(lifetime)),
564 }
565}
566
567pub fn noop_fold_ty_param<T: Folder>(tp: TyParam, fld: &mut T) -> TyParam {
b039eaaf 568 let TyParam {id, name, bounds, default, span} = tp;
e9174d1e
SL
569 TyParam {
570 id: fld.new_id(id),
b039eaaf 571 name: name,
e9174d1e
SL
572 bounds: fld.fold_bounds(bounds),
573 default: default.map(|x| fld.fold_ty(x)),
b039eaaf 574 span: span,
e9174d1e
SL
575 }
576}
577
9cc50fc6 578pub fn noop_fold_ty_params<T: Folder>(tps: HirVec<TyParam>,
b039eaaf 579 fld: &mut T)
9cc50fc6 580 -> HirVec<TyParam> {
e9174d1e
SL
581 tps.move_map(|tp| fld.fold_ty_param(tp))
582}
583
584pub fn noop_fold_lifetime<T: Folder>(l: Lifetime, fld: &mut T) -> Lifetime {
585 Lifetime {
586 id: fld.new_id(l.id),
587 name: l.name,
b039eaaf 588 span: fld.new_span(l.span),
e9174d1e
SL
589 }
590}
591
b039eaaf 592pub fn noop_fold_lifetime_def<T: Folder>(l: LifetimeDef, fld: &mut T) -> LifetimeDef {
e9174d1e
SL
593 LifetimeDef {
594 lifetime: fld.fold_lifetime(l.lifetime),
595 bounds: fld.fold_lifetimes(l.bounds),
596 }
597}
598
9cc50fc6 599pub fn noop_fold_lifetimes<T: Folder>(lts: HirVec<Lifetime>, fld: &mut T) -> HirVec<Lifetime> {
e9174d1e
SL
600 lts.move_map(|l| fld.fold_lifetime(l))
601}
602
9cc50fc6
SL
603pub fn noop_fold_lifetime_defs<T: Folder>(lts: HirVec<LifetimeDef>,
604 fld: &mut T)
605 -> HirVec<LifetimeDef> {
e9174d1e
SL
606 lts.move_map(|l| fld.fold_lifetime_def(l))
607}
608
b039eaaf 609pub fn noop_fold_opt_lifetime<T: Folder>(o_lt: Option<Lifetime>, fld: &mut T) -> Option<Lifetime> {
e9174d1e
SL
610 o_lt.map(|lt| fld.fold_lifetime(lt))
611}
612
b039eaaf
SL
613pub fn noop_fold_generics<T: Folder>(Generics { ty_params, lifetimes, where_clause }: Generics,
614 fld: &mut T)
615 -> Generics {
e9174d1e
SL
616 Generics {
617 ty_params: fld.fold_ty_params(ty_params),
618 lifetimes: fld.fold_lifetime_defs(lifetimes),
619 where_clause: fld.fold_where_clause(where_clause),
620 }
621}
622
b039eaaf
SL
623pub fn noop_fold_where_clause<T: Folder>(WhereClause { id, predicates }: WhereClause,
624 fld: &mut T)
625 -> WhereClause {
e9174d1e
SL
626 WhereClause {
627 id: fld.new_id(id),
b039eaaf 628 predicates: predicates.move_map(|predicate| fld.fold_where_predicate(predicate)),
e9174d1e
SL
629 }
630}
631
b039eaaf 632pub fn noop_fold_where_predicate<T: Folder>(pred: WherePredicate, fld: &mut T) -> WherePredicate {
e9174d1e
SL
633 match pred {
634 hir::WherePredicate::BoundPredicate(hir::WhereBoundPredicate{bound_lifetimes,
635 bounded_ty,
636 bounds,
637 span}) => {
638 hir::WherePredicate::BoundPredicate(hir::WhereBoundPredicate {
639 bound_lifetimes: fld.fold_lifetime_defs(bound_lifetimes),
640 bounded_ty: fld.fold_ty(bounded_ty),
641 bounds: bounds.move_map(|x| fld.fold_ty_param_bound(x)),
b039eaaf 642 span: fld.new_span(span),
e9174d1e
SL
643 })
644 }
645 hir::WherePredicate::RegionPredicate(hir::WhereRegionPredicate{lifetime,
646 bounds,
647 span}) => {
648 hir::WherePredicate::RegionPredicate(hir::WhereRegionPredicate {
649 span: fld.new_span(span),
650 lifetime: fld.fold_lifetime(lifetime),
b039eaaf 651 bounds: bounds.move_map(|bound| fld.fold_lifetime(bound)),
e9174d1e
SL
652 })
653 }
654 hir::WherePredicate::EqPredicate(hir::WhereEqPredicate{id,
655 path,
656 ty,
657 span}) => {
b039eaaf 658 hir::WherePredicate::EqPredicate(hir::WhereEqPredicate {
e9174d1e
SL
659 id: fld.new_id(id),
660 path: fld.fold_path(path),
b039eaaf
SL
661 ty: fld.fold_ty(ty),
662 span: fld.new_span(span),
e9174d1e
SL
663 })
664 }
665 }
666}
667
b039eaaf
SL
668pub fn noop_fold_variant_data<T: Folder>(vdata: VariantData, fld: &mut T) -> VariantData {
669 match vdata {
670 VariantData::Struct(fields, id) => {
92a42be0
SL
671 VariantData::Struct(fields.move_map(|f| fld.fold_struct_field(f)),
672 fld.new_id(id))
b039eaaf
SL
673 }
674 VariantData::Tuple(fields, id) => {
92a42be0
SL
675 VariantData::Tuple(fields.move_map(|f| fld.fold_struct_field(f)),
676 fld.new_id(id))
b039eaaf 677 }
92a42be0 678 VariantData::Unit(id) => VariantData::Unit(fld.new_id(id)),
b039eaaf 679 }
e9174d1e
SL
680}
681
682pub fn noop_fold_trait_ref<T: Folder>(p: TraitRef, fld: &mut T) -> TraitRef {
683 let id = fld.new_id(p.ref_id);
684 let TraitRef {
685 path,
686 ref_id: _,
687 } = p;
688 hir::TraitRef {
689 path: fld.fold_path(path),
690 ref_id: id,
691 }
692}
693
694pub fn noop_fold_poly_trait_ref<T: Folder>(p: PolyTraitRef, fld: &mut T) -> PolyTraitRef {
695 hir::PolyTraitRef {
696 bound_lifetimes: fld.fold_lifetime_defs(p.bound_lifetimes),
697 trait_ref: fld.fold_trait_ref(p.trait_ref),
698 span: fld.new_span(p.span),
699 }
700}
701
702pub fn noop_fold_struct_field<T: Folder>(f: StructField, fld: &mut T) -> StructField {
703 let StructField {node: StructField_ {id, kind, ty, attrs}, span} = f;
704 Spanned {
705 node: StructField_ {
706 id: fld.new_id(id),
707 kind: kind,
708 ty: fld.fold_ty(ty),
709 attrs: fold_attrs(attrs, fld),
710 },
b039eaaf 711 span: fld.new_span(span),
e9174d1e
SL
712 }
713}
714
b039eaaf 715pub fn noop_fold_field<T: Folder>(Field { name, expr, span }: Field, folder: &mut T) -> Field {
e9174d1e 716 Field {
92a42be0 717 name: respan(folder.new_span(name.span), folder.fold_name(name.node)),
e9174d1e 718 expr: folder.fold_expr(expr),
b039eaaf 719 span: folder.new_span(span),
e9174d1e
SL
720 }
721}
722
b039eaaf 723pub fn noop_fold_mt<T: Folder>(MutTy { ty, mutbl }: MutTy, folder: &mut T) -> MutTy {
e9174d1e
SL
724 MutTy {
725 ty: folder.fold_ty(ty),
726 mutbl: mutbl,
727 }
728}
729
9cc50fc6 730pub fn noop_fold_opt_bounds<T: Folder>(b: Option<TyParamBounds>,
b039eaaf 731 folder: &mut T)
9cc50fc6 732 -> Option<TyParamBounds> {
e9174d1e
SL
733 b.map(|bounds| folder.fold_bounds(bounds))
734}
735
b039eaaf 736fn noop_fold_bounds<T: Folder>(bounds: TyParamBounds, folder: &mut T) -> TyParamBounds {
e9174d1e
SL
737 bounds.move_map(|bound| folder.fold_ty_param_bound(bound))
738}
739
e9174d1e 740pub fn noop_fold_block<T: Folder>(b: P<Block>, folder: &mut T) -> P<Block> {
b039eaaf
SL
741 b.map(|Block { id, stmts, expr, rules, span }| {
742 Block {
743 id: folder.new_id(id),
92a42be0 744 stmts: stmts.move_map(|s| folder.fold_stmt(s)),
b039eaaf
SL
745 expr: expr.map(|x| folder.fold_expr(x)),
746 rules: rules,
747 span: folder.new_span(span),
748 }
e9174d1e
SL
749 })
750}
751
752pub fn noop_fold_item_underscore<T: Folder>(i: Item_, folder: &mut T) -> Item_ {
753 match i {
754 ItemExternCrate(string) => ItemExternCrate(string),
755 ItemUse(view_path) => {
756 ItemUse(folder.fold_view_path(view_path))
757 }
758 ItemStatic(t, m, e) => {
759 ItemStatic(folder.fold_ty(t), m, folder.fold_expr(e))
760 }
761 ItemConst(t, e) => {
762 ItemConst(folder.fold_ty(t), folder.fold_expr(e))
763 }
764 ItemFn(decl, unsafety, constness, abi, generics, body) => {
b039eaaf
SL
765 ItemFn(folder.fold_fn_decl(decl),
766 unsafety,
767 constness,
768 abi,
769 folder.fold_generics(generics),
770 folder.fold_block(body))
e9174d1e
SL
771 }
772 ItemMod(m) => ItemMod(folder.fold_mod(m)),
773 ItemForeignMod(nm) => ItemForeignMod(folder.fold_foreign_mod(nm)),
774 ItemTy(t, generics) => {
775 ItemTy(folder.fold_ty(t), folder.fold_generics(generics))
776 }
777 ItemEnum(enum_definition, generics) => {
b039eaaf
SL
778 ItemEnum(hir::EnumDef {
779 variants: enum_definition.variants.move_map(|x| folder.fold_variant(x)),
780 },
781 folder.fold_generics(generics))
e9174d1e
SL
782 }
783 ItemStruct(struct_def, generics) => {
b039eaaf 784 let struct_def = folder.fold_variant_data(struct_def);
e9174d1e
SL
785 ItemStruct(struct_def, folder.fold_generics(generics))
786 }
787 ItemDefaultImpl(unsafety, ref trait_ref) => {
92a42be0 788 ItemDefaultImpl(unsafety, folder.fold_trait_ref((*trait_ref).clone()))
e9174d1e
SL
789 }
790 ItemImpl(unsafety, polarity, generics, ifce, ty, impl_items) => {
92a42be0
SL
791 let new_impl_items = impl_items
792 .move_map(|item| folder.fold_impl_item(item));
e9174d1e
SL
793 let ifce = match ifce {
794 None => None,
795 Some(ref trait_ref) => {
796 Some(folder.fold_trait_ref((*trait_ref).clone()))
797 }
798 };
799 ItemImpl(unsafety,
800 polarity,
801 folder.fold_generics(generics),
802 ifce,
803 folder.fold_ty(ty),
804 new_impl_items)
805 }
806 ItemTrait(unsafety, generics, bounds, items) => {
807 let bounds = folder.fold_bounds(bounds);
92a42be0 808 let items = items.move_map(|item| folder.fold_trait_item(item));
b039eaaf 809 ItemTrait(unsafety, folder.fold_generics(generics), bounds, items)
e9174d1e
SL
810 }
811 }
812}
813
92a42be0 814pub fn noop_fold_trait_item<T: Folder>(i: TraitItem,
b039eaaf 815 folder: &mut T)
92a42be0
SL
816 -> TraitItem {
817 TraitItem {
818 id: folder.new_id(i.id),
819 name: folder.fold_name(i.name),
820 attrs: fold_attrs(i.attrs, folder),
821 node: match i.node {
822 ConstTraitItem(ty, default) => {
823 ConstTraitItem(folder.fold_ty(ty), default.map(|x| folder.fold_expr(x)))
824 }
825 MethodTraitItem(sig, body) => {
826 MethodTraitItem(noop_fold_method_sig(sig, folder),
827 body.map(|x| folder.fold_block(x)))
828 }
829 TypeTraitItem(bounds, default) => {
830 TypeTraitItem(folder.fold_bounds(bounds),
831 default.map(|x| folder.fold_ty(x)))
832 }
833 },
834 span: folder.new_span(i.span),
835 }
e9174d1e
SL
836}
837
92a42be0
SL
838pub fn noop_fold_impl_item<T: Folder>(i: ImplItem, folder: &mut T) -> ImplItem {
839 ImplItem {
840 id: folder.new_id(i.id),
841 name: folder.fold_name(i.name),
842 attrs: fold_attrs(i.attrs, folder),
843 vis: i.vis,
844 node: match i.node {
845 ImplItemKind::Const(ty, expr) => {
846 ImplItemKind::Const(folder.fold_ty(ty), folder.fold_expr(expr))
847 }
848 ImplItemKind::Method(sig, body) => {
849 ImplItemKind::Method(noop_fold_method_sig(sig, folder), folder.fold_block(body))
850 }
851 ImplItemKind::Type(ty) => ImplItemKind::Type(folder.fold_ty(ty)),
852 },
853 span: folder.new_span(i.span),
854 }
e9174d1e
SL
855}
856
92a42be0 857pub fn noop_fold_mod<T: Folder>(Mod { inner, item_ids }: Mod, folder: &mut T) -> Mod {
e9174d1e
SL
858 Mod {
859 inner: folder.new_span(inner),
92a42be0 860 item_ids: item_ids.move_map(|x| folder.fold_item_id(x)),
e9174d1e
SL
861 }
862}
863
92a42be0
SL
864pub fn noop_fold_crate<T: Folder>(Crate { module, attrs, config, span,
865 exported_macros, items }: Crate,
b039eaaf
SL
866 folder: &mut T)
867 -> Crate {
e9174d1e
SL
868 let config = folder.fold_meta_items(config);
869
92a42be0
SL
870 let crate_mod = folder.fold_item(hir::Item {
871 name: token::special_idents::invalid.name,
872 attrs: attrs,
873 id: DUMMY_NODE_ID,
874 vis: hir::Public,
875 span: span,
876 node: hir::ItemMod(module),
877 });
878
879 let (module, attrs, span) = match crate_mod {
880 hir::Item { attrs, span, node, .. } => {
881 match node {
882 hir::ItemMod(m) => (m, attrs, span),
883 _ => panic!("fold converted a module to not a module"),
884 }
e9174d1e 885 }
e9174d1e
SL
886 };
887
92a42be0
SL
888 let items = items.into_iter()
889 .map(|(id, item)| (id, folder.fold_item(item)))
890 .collect();
891
e9174d1e
SL
892 Crate {
893 module: module,
894 attrs: attrs,
895 config: config,
896 span: span,
897 exported_macros: exported_macros,
92a42be0 898 items: items,
e9174d1e
SL
899 }
900}
901
92a42be0
SL
902pub fn noop_fold_item_id<T: Folder>(i: ItemId, folder: &mut T) -> ItemId {
903 let id = folder.map_id(i.id);
904 ItemId { id: id }
e9174d1e
SL
905}
906
92a42be0
SL
907// fold one item into one item
908pub fn noop_fold_item<T: Folder>(item: Item, folder: &mut T) -> Item {
909 let Item { id, name, attrs, node, vis, span } = item;
e9174d1e
SL
910 let id = folder.new_id(id);
911 let node = folder.fold_item_underscore(node);
912 // FIXME: we should update the impl_pretty_name, but it uses pretty printing.
913 // let ident = match node {
914 // // The node may have changed, recompute the "pretty" impl name.
915 // ItemImpl(_, _, _, ref maybe_trait, ref ty, _) => {
916 // impl_pretty_name(maybe_trait, Some(&**ty))
917 // }
918 // _ => ident
919 // };
920
921 Item {
922 id: id,
b039eaaf 923 name: folder.fold_name(name),
e9174d1e
SL
924 attrs: fold_attrs(attrs, folder),
925 node: node,
926 vis: vis,
b039eaaf 927 span: folder.new_span(span),
e9174d1e
SL
928 }
929}
930
92a42be0
SL
931pub fn noop_fold_foreign_item<T: Folder>(ni: ForeignItem, folder: &mut T) -> ForeignItem {
932 ForeignItem {
933 id: folder.new_id(ni.id),
934 name: folder.fold_name(ni.name),
935 attrs: fold_attrs(ni.attrs, folder),
936 node: match ni.node {
937 ForeignItemFn(fdec, generics) => {
938 ForeignItemFn(folder.fold_fn_decl(fdec), folder.fold_generics(generics))
939 }
940 ForeignItemStatic(t, m) => {
941 ForeignItemStatic(folder.fold_ty(t), m)
942 }
943 },
944 vis: ni.vis,
945 span: folder.new_span(ni.span),
946 }
e9174d1e
SL
947}
948
949pub fn noop_fold_method_sig<T: Folder>(sig: MethodSig, folder: &mut T) -> MethodSig {
950 MethodSig {
951 generics: folder.fold_generics(sig.generics),
952 abi: sig.abi,
953 explicit_self: folder.fold_explicit_self(sig.explicit_self),
954 unsafety: sig.unsafety,
955 constness: sig.constness,
b039eaaf 956 decl: folder.fold_fn_decl(sig.decl),
e9174d1e
SL
957 }
958}
959
960pub fn noop_fold_pat<T: Folder>(p: P<Pat>, folder: &mut T) -> P<Pat> {
b039eaaf
SL
961 p.map(|Pat { id, node, span }| {
962 Pat {
963 id: folder.new_id(id),
964 node: match node {
7453a54e
SL
965 PatKind::Wild => PatKind::Wild,
966 PatKind::Ident(binding_mode, pth1, sub) => {
967 PatKind::Ident(binding_mode,
b039eaaf
SL
968 Spanned {
969 span: folder.new_span(pth1.span),
970 node: folder.fold_ident(pth1.node),
971 },
972 sub.map(|x| folder.fold_pat(x)))
973 }
7453a54e
SL
974 PatKind::Lit(e) => PatKind::Lit(folder.fold_expr(e)),
975 PatKind::TupleStruct(pth, pats) => {
976 PatKind::TupleStruct(folder.fold_path(pth),
b039eaaf
SL
977 pats.map(|pats| pats.move_map(|x| folder.fold_pat(x))))
978 }
7453a54e
SL
979 PatKind::Path(pth) => {
980 PatKind::Path(folder.fold_path(pth))
981 }
982 PatKind::QPath(qself, pth) => {
b039eaaf 983 let qself = QSelf { ty: folder.fold_ty(qself.ty), ..qself };
7453a54e 984 PatKind::QPath(qself, folder.fold_path(pth))
b039eaaf 985 }
7453a54e 986 PatKind::Struct(pth, fields, etc) => {
b039eaaf
SL
987 let pth = folder.fold_path(pth);
988 let fs = fields.move_map(|f| {
989 Spanned {
990 span: folder.new_span(f.span),
991 node: hir::FieldPat {
992 name: f.node.name,
993 pat: folder.fold_pat(f.node.pat),
994 is_shorthand: f.node.is_shorthand,
995 },
996 }
997 });
7453a54e 998 PatKind::Struct(pth, fs, etc)
b039eaaf 999 }
7453a54e
SL
1000 PatKind::Tup(elts) => PatKind::Tup(elts.move_map(|x| folder.fold_pat(x))),
1001 PatKind::Box(inner) => PatKind::Box(folder.fold_pat(inner)),
1002 PatKind::Ref(inner, mutbl) => PatKind::Ref(folder.fold_pat(inner), mutbl),
1003 PatKind::Range(e1, e2) => {
1004 PatKind::Range(folder.fold_expr(e1), folder.fold_expr(e2))
b039eaaf 1005 }
7453a54e
SL
1006 PatKind::Vec(before, slice, after) => {
1007 PatKind::Vec(before.move_map(|x| folder.fold_pat(x)),
b039eaaf
SL
1008 slice.map(|x| folder.fold_pat(x)),
1009 after.move_map(|x| folder.fold_pat(x)))
1010 }
e9174d1e 1011 },
b039eaaf
SL
1012 span: folder.new_span(span),
1013 }
e9174d1e
SL
1014 })
1015}
1016
92a42be0 1017pub fn noop_fold_expr<T: Folder>(Expr { id, node, span, attrs }: Expr, folder: &mut T) -> Expr {
e9174d1e
SL
1018 Expr {
1019 id: folder.new_id(id),
1020 node: match node {
b039eaaf
SL
1021 ExprBox(e) => {
1022 ExprBox(folder.fold_expr(e))
e9174d1e
SL
1023 }
1024 ExprVec(exprs) => {
1025 ExprVec(exprs.move_map(|x| folder.fold_expr(x)))
1026 }
1027 ExprRepeat(expr, count) => {
1028 ExprRepeat(folder.fold_expr(expr), folder.fold_expr(count))
1029 }
1030 ExprTup(elts) => ExprTup(elts.move_map(|x| folder.fold_expr(x))),
1031 ExprCall(f, args) => {
92a42be0 1032 ExprCall(folder.fold_expr(f), args.move_map(|x| folder.fold_expr(x)))
e9174d1e 1033 }
b039eaaf 1034 ExprMethodCall(name, tps, args) => {
92a42be0 1035 ExprMethodCall(respan(folder.new_span(name.span), folder.fold_name(name.node)),
b039eaaf
SL
1036 tps.move_map(|x| folder.fold_ty(x)),
1037 args.move_map(|x| folder.fold_expr(x)))
e9174d1e
SL
1038 }
1039 ExprBinary(binop, lhs, rhs) => {
b039eaaf 1040 ExprBinary(binop, folder.fold_expr(lhs), folder.fold_expr(rhs))
e9174d1e
SL
1041 }
1042 ExprUnary(binop, ohs) => {
1043 ExprUnary(binop, folder.fold_expr(ohs))
1044 }
1045 ExprLit(l) => ExprLit(l),
1046 ExprCast(expr, ty) => {
1047 ExprCast(folder.fold_expr(expr), folder.fold_ty(ty))
1048 }
9cc50fc6
SL
1049 ExprType(expr, ty) => {
1050 ExprType(folder.fold_expr(expr), folder.fold_ty(ty))
1051 }
e9174d1e
SL
1052 ExprAddrOf(m, ohs) => ExprAddrOf(m, folder.fold_expr(ohs)),
1053 ExprIf(cond, tr, fl) => {
1054 ExprIf(folder.fold_expr(cond),
1055 folder.fold_block(tr),
1056 fl.map(|x| folder.fold_expr(x)))
1057 }
1058 ExprWhile(cond, body, opt_ident) => {
1059 ExprWhile(folder.fold_expr(cond),
1060 folder.fold_block(body),
1061 opt_ident.map(|i| folder.fold_ident(i)))
1062 }
1063 ExprLoop(body, opt_ident) => {
1064 ExprLoop(folder.fold_block(body),
b039eaaf 1065 opt_ident.map(|i| folder.fold_ident(i)))
e9174d1e
SL
1066 }
1067 ExprMatch(expr, arms, source) => {
1068 ExprMatch(folder.fold_expr(expr),
b039eaaf
SL
1069 arms.move_map(|x| folder.fold_arm(x)),
1070 source)
e9174d1e
SL
1071 }
1072 ExprClosure(capture_clause, decl, body) => {
1073 ExprClosure(capture_clause,
1074 folder.fold_fn_decl(decl),
1075 folder.fold_block(body))
1076 }
1077 ExprBlock(blk) => ExprBlock(folder.fold_block(blk)),
1078 ExprAssign(el, er) => {
1079 ExprAssign(folder.fold_expr(el), folder.fold_expr(er))
1080 }
1081 ExprAssignOp(op, el, er) => {
b039eaaf 1082 ExprAssignOp(op, folder.fold_expr(el), folder.fold_expr(er))
e9174d1e 1083 }
b039eaaf 1084 ExprField(el, name) => {
e9174d1e 1085 ExprField(folder.fold_expr(el),
92a42be0 1086 respan(folder.new_span(name.span), folder.fold_name(name.node)))
e9174d1e 1087 }
b039eaaf 1088 ExprTupField(el, index) => {
e9174d1e 1089 ExprTupField(folder.fold_expr(el),
92a42be0 1090 respan(folder.new_span(index.span), folder.fold_usize(index.node)))
e9174d1e
SL
1091 }
1092 ExprIndex(el, er) => {
1093 ExprIndex(folder.fold_expr(el), folder.fold_expr(er))
1094 }
1095 ExprRange(e1, e2) => {
1096 ExprRange(e1.map(|x| folder.fold_expr(x)),
1097 e2.map(|x| folder.fold_expr(x)))
1098 }
1099 ExprPath(qself, path) => {
1100 let qself = qself.map(|QSelf { ty, position }| {
1101 QSelf {
1102 ty: folder.fold_ty(ty),
b039eaaf 1103 position: position,
e9174d1e
SL
1104 }
1105 });
1106 ExprPath(qself, folder.fold_path(path))
1107 }
b039eaaf 1108 ExprBreak(opt_ident) => ExprBreak(opt_ident.map(|label| {
92a42be0 1109 respan(folder.new_span(label.span), folder.fold_ident(label.node))
b039eaaf
SL
1110 })),
1111 ExprAgain(opt_ident) => ExprAgain(opt_ident.map(|label| {
92a42be0 1112 respan(folder.new_span(label.span), folder.fold_ident(label.node))
b039eaaf 1113 })),
e9174d1e
SL
1114 ExprRet(e) => ExprRet(e.map(|x| folder.fold_expr(x))),
1115 ExprInlineAsm(InlineAsm {
1116 inputs,
1117 outputs,
1118 asm,
1119 asm_str_style,
1120 clobbers,
1121 volatile,
1122 alignstack,
1123 dialect,
1124 expn_id,
1125 }) => ExprInlineAsm(InlineAsm {
b039eaaf 1126 inputs: inputs.move_map(|(c, input)| (c, folder.fold_expr(input))),
9cc50fc6
SL
1127 outputs: outputs.move_map(|out| {
1128 InlineAsmOutput {
1129 constraint: out.constraint,
1130 expr: folder.fold_expr(out.expr),
1131 is_rw: out.is_rw,
1132 is_indirect: out.is_indirect,
1133 }
1134 }),
e9174d1e
SL
1135 asm: asm,
1136 asm_str_style: asm_str_style,
1137 clobbers: clobbers,
1138 volatile: volatile,
1139 alignstack: alignstack,
1140 dialect: dialect,
1141 expn_id: expn_id,
1142 }),
1143 ExprStruct(path, fields, maybe_expr) => {
1144 ExprStruct(folder.fold_path(path),
b039eaaf
SL
1145 fields.move_map(|x| folder.fold_field(x)),
1146 maybe_expr.map(|x| folder.fold_expr(x)))
1147 }
e9174d1e 1148 },
b039eaaf 1149 span: folder.new_span(span),
9cc50fc6 1150 attrs: attrs.map_thin_attrs(|attrs| fold_attrs(attrs.into(), folder).into()),
e9174d1e
SL
1151 }
1152}
1153
92a42be0
SL
1154pub fn noop_fold_stmt<T: Folder>(stmt: Stmt, folder: &mut T) -> Stmt {
1155 let span = folder.new_span(stmt.span);
1156 match stmt.node {
e9174d1e
SL
1157 StmtDecl(d, id) => {
1158 let id = folder.new_id(id);
92a42be0
SL
1159 Spanned {
1160 node: StmtDecl(folder.fold_decl(d), id),
1161 span: span
1162 }
e9174d1e
SL
1163 }
1164 StmtExpr(e, id) => {
1165 let id = folder.new_id(id);
92a42be0 1166 Spanned {
e9174d1e 1167 node: StmtExpr(folder.fold_expr(e), id),
b039eaaf 1168 span: span,
92a42be0 1169 }
e9174d1e
SL
1170 }
1171 StmtSemi(e, id) => {
1172 let id = folder.new_id(id);
92a42be0 1173 Spanned {
e9174d1e 1174 node: StmtSemi(folder.fold_expr(e), id),
b039eaaf 1175 span: span,
92a42be0 1176 }
e9174d1e
SL
1177 }
1178 }
1179}