Remove now unused double_braced_* symbols

This commit is contained in:
marmeladema 2020-09-01 19:37:12 +01:00
parent 23085b6360
commit f25d0bc559

View File

@ -441,13 +441,6 @@ symbols! {
document_private_items, document_private_items,
dotdot_in_tuple_patterns, dotdot_in_tuple_patterns,
dotdoteq_in_patterns, dotdoteq_in_patterns,
double_braced_closure: "{{closure}}",
double_braced_constant: "{{constant}}",
double_braced_constructor: "{{constructor}}",
double_braced_crate: "{{crate}}",
double_braced_impl: "{{impl}}",
double_braced_misc: "{{misc}}",
double_braced_opaque: "{{opaque}}",
drop, drop,
drop_in_place, drop_in_place,
drop_types_in_const, drop_types_in_const,