fn cs_total_eq_assert( cx: &ExtCtxt<'_>, trait_span: Span, substr: Substructure<'_>, ) -> BlockOrExpr