rustc_builtin_macros/deriving/cmp/
eq.rs

1use rustc_ast::{self as ast, MetaItem, Safety};
2use rustc_data_structures::fx::FxHashSet;
3use rustc_expand::base::{Annotatable, ExtCtxt};
4use rustc_span::{Span, sym};
5use thin_vec::{ThinVec, thin_vec};
6
7use crate::deriving::generic::ty::*;
8use crate::deriving::generic::*;
9use crate::deriving::path_std;
10
11pub(crate) fn expand_deriving_eq(
12    cx: &ExtCtxt<'_>,
13    span: Span,
14    mitem: &MetaItem,
15    item: &Annotatable,
16    push: &mut dyn FnMut(Annotatable),
17    is_const: bool,
18) {
19    let span = cx.with_def_site_ctxt(span);
20
21    let trait_def = TraitDef {
22        span,
23        path: path_std!(cmp::Eq),
24        skip_path_as_bound: false,
25        needs_copy_as_bound_if_packed: true,
26        additional_bounds: Vec::new(),
27        supports_unions: true,
28        methods: vec![MethodDef {
29            name: sym::assert_receiver_is_total_eq,
30            generics: Bounds::empty(),
31            explicit_self: true,
32            nonself_args: vec![],
33            ret_ty: Unit,
34            attributes: thin_vec![
35                cx.attr_word(sym::inline, span),
36                cx.attr_nested_word(sym::doc, sym::hidden, span),
37                cx.attr_nested_word(sym::coverage, sym::off, span)
38            ],
39            fieldless_variants_strategy: FieldlessVariantsStrategy::Unify,
40            combine_substructure: combine_substructure(Box::new(|a, b, c| {
41                cs_total_eq_assert(a, b, c)
42            })),
43        }],
44        associated_types: Vec::new(),
45        is_const,
46        is_staged_api_crate: cx.ecfg.features.staged_api(),
47        safety: Safety::Default,
48        document: true,
49    };
50    trait_def.expand_ext(cx, mitem, item, push, true)
51}
52
53fn cs_total_eq_assert(
54    cx: &ExtCtxt<'_>,
55    trait_span: Span,
56    substr: &Substructure<'_>,
57) -> BlockOrExpr {
58    let mut stmts = ThinVec::new();
59    let mut seen_type_names = FxHashSet::default();
60    let mut process_variant = |variant: &ast::VariantData| {
61        for field in variant.fields() {
62            // This basic redundancy checking only prevents duplication of
63            // assertions like `AssertParamIsEq<Foo>` where the type is a
64            // simple name. That's enough to get a lot of cases, though.
65            if let Some(name) = field.ty.kind.is_simple_path()
66                && !seen_type_names.insert(name)
67            {
68                // Already produced an assertion for this type.
69            } else {
70                // let _: AssertParamIsEq<FieldTy>;
71                super::assert_ty_bounds(
72                    cx,
73                    &mut stmts,
74                    field.ty.clone(),
75                    field.span,
76                    &[sym::cmp, sym::AssertParamIsEq],
77                );
78            }
79        }
80    };
81
82    match *substr.fields {
83        StaticStruct(vdata, ..) => {
84            process_variant(vdata);
85        }
86        StaticEnum(enum_def, ..) => {
87            for variant in &enum_def.variants {
88                process_variant(&variant.data);
89            }
90        }
91        _ => cx.dcx().span_bug(trait_span, "unexpected substructure in `derive(Eq)`"),
92    }
93    BlockOrExpr::new_stmts(stmts)
94}
rustc_builtin_macros/deriving/cmp/eq.rs

rustc_builtin_macros/deriving/cmp/
eq.rs
