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