Skip to content

Commit c44316d

Browse files
borsbors
committed
Auto merge of #29303 - petrochenkov:unistrimp, r=eddyb
And use `VariantData` instead of `P<VariantData>` in `Item_` and `Variant_` Improvements suggested by @eddyb in #28816 (comment) and #28816 (comment) plugin-[breaking-change] r? @eddyb
2 parents 72ed590 + e8ddbba commit c44316d

File tree

24 files changed

+90
-124
lines changed

24 files changed

+90
-124
lines changed

‎src/librustc/front/map/collector.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -152,7 +152,7 @@ impl<'ast> Visitor<'ast> for NodeCollector<'ast> {
152152
// If this is a tuple-like struct, register the constructor.
153153
if !struct_def.is_struct() {
154154
self.insert_def(struct_def.id(),
155-
NodeStructCtor(&**struct_def),
155+
NodeStructCtor(struct_def),
156156
DefPathData::StructCtor);
157157
}
158158

‎src/librustc/middle/dead.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,7 @@ impl<'a, 'tcx, 'v> Visitor<'v> for MarkSymbolVisitor<'a, 'tcx> {
219219
_: &hir::Generics, _: ast::NodeId, _: codemap::Span) {
220220
let has_extern_repr = self.struct_has_extern_repr;
221221
let inherited_pub_visibility = self.inherited_pub_visibility;
222-
let live_fields = def.fields().filter(|f| {
222+
let live_fields = def.fields().iter().filter(|f| {
223223
has_extern_repr || inherited_pub_visibility || match f.node.kind {
224224
hir::NamedField(_, hir::Public) => true,
225225
_ => false

‎src/librustc_front/fold.rs

Lines changed: 11 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -223,8 +223,8 @@ pub trait Folder : Sized {
223223
noop_fold_poly_trait_ref(p, self)
224224
}
225225

226-
fn fold_variant_data(&mut self, struct_def: P<VariantData>) -> P<VariantData> {
227-
noop_fold_struct_def(struct_def, self)
226+
fn fold_variant_data(&mut self, vdata: VariantData) -> VariantData {
227+
noop_fold_variant_data(vdata, self)
228228
}
229229

230230
fn fold_lifetimes(&mut self, lts: Vec<Lifetime>) -> Vec<Lifetime> {
@@ -693,18 +693,16 @@ pub fn noop_fold_where_predicate<T: Folder>(pred: WherePredicate, fld: &mut T) -
693693
}
694694
}
695695

696-
pub fn noop_fold_struct_def<T: Folder>(struct_def: P<VariantData>, fld: &mut T) -> P<VariantData> {
697-
struct_def.map(|vdata| {
698-
match vdata {
699-
VariantData::Struct(fields, id) => {
700-
VariantData::Struct(fields.move_map(|f| fld.fold_struct_field(f)), fld.new_id(id))
701-
}
702-
VariantData::Tuple(fields, id) => {
703-
VariantData::Tuple(fields.move_map(|f| fld.fold_struct_field(f)), fld.new_id(id))
704-
}
705-
VariantData::Unit(id) => VariantData::Unit(fld.new_id(id))
696+
pub fn noop_fold_variant_data<T: Folder>(vdata: VariantData, fld: &mut T) -> VariantData {
697+
match vdata {
698+
VariantData::Struct(fields, id) => {
699+
VariantData::Struct(fields.move_map(|f| fld.fold_struct_field(f)), fld.new_id(id))
706700
}
707-
})
701+
VariantData::Tuple(fields, id) => {
702+
VariantData::Tuple(fields.move_map(|f| fld.fold_struct_field(f)), fld.new_id(id))
703+
}
704+
VariantData::Unit(id) => VariantData::Unit(fld.new_id(id))
705+
}
708706
}
709707

710708
pub fn noop_fold_trait_ref<T: Folder>(p: TraitRef, fld: &mut T) -> TraitRef {

‎src/librustc_front/hir.rs

Lines changed: 6 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,6 @@ use print::pprust;
4949
use util;
5050

5151
use std::fmt;
52-
use std::{iter, option, slice};
5352
use serialize::{Encodable, Encoder, Decoder};
5453

5554
#[derive(Clone, PartialEq, Eq, RustcEncodable, RustcDecodable, Hash, Copy)]
@@ -1024,7 +1023,7 @@ pub struct EnumDef {
10241023
pub struct Variant_ {
10251024
pub name: Name,
10261025
pub attrs: Vec<Attribute>,
1027-
pub data: P<VariantData>,
1026+
pub data: VariantData,
10281027
/// Explicit discriminant, eg `Foo = 1`
10291028
pub disr_expr: Option<P<Expr>>,
10301029
}
@@ -1179,17 +1178,12 @@ pub enum VariantData {
11791178
Unit(NodeId),
11801179
}
11811180

1182-
pub type FieldIter<'a> = iter::FlatMap<option::IntoIter<&'a Vec<StructField>>,
1183-
slice::Iter<'a, StructField>,
1184-
fn(&Vec<StructField>) -> slice::Iter<StructField>>;
1185-
11861181
impl VariantData {
1187-
pub fn fields(&self) -> FieldIter {
1188-
fn vec_iter<T>(v: &Vec<T>) -> slice::Iter<T> { v.iter() }
1182+
pub fn fields(&self) -> &[StructField] {
11891183
match *self {
1190-
VariantData::Struct(ref fields, _) | VariantData::Tuple(ref fields, _) => Some(fields),
1191-
_ => None,
1192-
}.into_iter().flat_map(vec_iter)
1184+
VariantData::Struct(ref fields, _) | VariantData::Tuple(ref fields, _) => fields,
1185+
_ => &[],
1186+
}
11931187
}
11941188
pub fn id(&self) -> NodeId {
11951189
match *self {
@@ -1248,7 +1242,7 @@ pub enum Item_ {
12481242
/// An enum definition, e.g. `enum Foo<A, B> {C<A>, D<B>}`
12491243
ItemEnum(EnumDef, Generics),
12501244
/// A struct definition, e.g. `struct Foo<A> {x: A}`
1251-
ItemStruct(P<VariantData>, Generics),
1245+
ItemStruct(VariantData, Generics),
12521246
/// Represents a Trait Declaration
12531247
ItemTrait(Unsafety, Generics, TyParamBounds, Vec<P<TraitItem>>),
12541248

‎src/librustc_front/lowering.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -266,7 +266,7 @@ pub fn lower_variant(_lctx: &LoweringContext, v: &Variant) -> P<hir::Variant> {
266266
node: hir::Variant_ {
267267
name: v.node.name.name,
268268
attrs: v.node.attrs.clone(),
269-
data: lower_struct_def(_lctx, &v.node.data),
269+
data: lower_variant_data(_lctx, &v.node.data),
270270
disr_expr: v.node.disr_expr.as_ref().map(|e| lower_expr(_lctx, e)),
271271
},
272272
span: v.span,
@@ -498,8 +498,8 @@ pub fn lower_where_predicate(_lctx: &LoweringContext,
498498
}
499499
}
500500

501-
pub fn lower_struct_def(_lctx: &LoweringContext, sd: &VariantData) -> P<hir::VariantData> {
502-
P(match *sd {
501+
pub fn lower_variant_data(_lctx: &LoweringContext, vdata: &VariantData) -> hir::VariantData {
502+
match *vdata {
503503
VariantData::Struct(ref fields, id) => {
504504
hir::VariantData::Struct(fields.iter()
505505
.map(|f| lower_struct_field(_lctx, f)).collect(), id)
@@ -509,7 +509,7 @@ pub fn lower_struct_def(_lctx: &LoweringContext, sd: &VariantData) -> P<hir::Var
509509
.map(|f| lower_struct_field(_lctx, f)).collect(), id)
510510
}
511511
VariantData::Unit(id) => hir::VariantData::Unit(id)
512-
})
512+
}
513513
}
514514

515515
pub fn lower_trait_ref(_lctx: &LoweringContext, p: &TraitRef) -> hir::TraitRef {
@@ -611,7 +611,7 @@ pub fn lower_item_underscore(_lctx: &LoweringContext, i: &Item_) -> hir::Item_ {
611611
lower_generics(_lctx, generics))
612612
}
613613
ItemStruct(ref struct_def, ref generics) => {
614-
let struct_def = lower_struct_def(_lctx, struct_def);
614+
let struct_def = lower_variant_data(_lctx, struct_def);
615615
hir::ItemStruct(struct_def, lower_generics(_lctx, generics))
616616
}
617617
ItemDefaultImpl(unsafety, ref trait_ref) => {

‎src/librustc_front/print/pprust.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -734,7 +734,7 @@ impl<'a> State<'a> {
734734
}
735735
hir::ItemStruct(ref struct_def, ref generics) => {
736736
try!(self.head(&visibility_qualified(item.vis, "struct")));
737-
try!(self.print_struct(&**struct_def, generics, item.name, item.span, true));
737+
try!(self.print_struct(struct_def, generics, item.name, item.span, true));
738738
}
739739

740740
hir::ItemDefaultImpl(unsafety, ref trait_ref) => {
@@ -899,7 +899,7 @@ impl<'a> State<'a> {
899899
if !struct_def.is_struct() {
900900
if struct_def.is_tuple() {
901901
try!(self.popen());
902-
try!(self.commasep_iter(Inconsistent,
902+
try!(self.commasep(Inconsistent,
903903
struct_def.fields(),
904904
|s, field| {
905905
match field.node.kind {

‎src/librustc_privacy/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1114,7 +1114,7 @@ impl<'a, 'tcx> SanePrivacyVisitor<'a, 'tcx> {
11141114
}
11151115
}
11161116

1117-
hir::ItemStruct(ref def, _) => check_struct(&**def),
1117+
hir::ItemStruct(ref def, _) => check_struct(def),
11181118

11191119
hir::ItemEnum(..) |
11201120
hir::ItemExternCrate(_) | hir::ItemUse(_) |

‎src/librustc_resolve/build_reduced_graph.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -514,7 +514,7 @@ impl<'a, 'b:'a, 'tcx:'b> GraphBuilder<'a, 'b, 'tcx> {
514514
}
515515

516516
// Record the def ID and fields of this struct.
517-
let named_fields = struct_def.fields().filter_map(|f| {
517+
let named_fields = struct_def.fields().iter().filter_map(|f| {
518518
match f.node.kind {
519519
NamedField(name, _) => Some(name),
520520
UnnamedField(_) => None

‎src/librustc_trans/save/dump_csv.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -918,7 +918,7 @@ impl<'l, 'tcx, 'v> Visitor<'v> for DumpCsvVisitor<'l, 'tcx> {
918918
self.process_static_or_const_item(item, typ, expr),
919919
ast::ItemConst(ref typ, ref expr) =>
920920
self.process_static_or_const_item(item, &typ, &expr),
921-
ast::ItemStruct(ref def, ref ty_params) => self.process_struct(item, &**def, ty_params),
921+
ast::ItemStruct(ref def, ref ty_params) => self.process_struct(item, def, ty_params),
922922
ast::ItemEnum(ref def, ref ty_params) => self.process_enum(item, def, ty_params),
923923
ast::ItemImpl(_, _,
924924
ref ty_params,

‎src/librustc_trans/trans/base.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2435,7 +2435,7 @@ pub fn get_item_val(ccx: &CrateContext, id: ast::NodeId) -> ValueRef {
24352435
} else {
24362436
v.node.data.fields()
24372437
};
2438-
assert!(fields.count() != 0);
2438+
assert!(!fields.is_empty());
24392439
let ty = ccx.tcx().node_id_to_type(id);
24402440
let parent = ccx.tcx().map.get_parent(id);
24412441
let enm = ccx.tcx().map.expect_item(parent);

0 commit comments

Comments
 (0)