From f25d0bc559b616376efece5ee8681552bcce44ab Mon Sep 17 00:00:00 2001 From: marmeladema Date: Tue, 1 Sep 2020 19:37:12 +0100 Subject: [PATCH] Remove now unused `double_braced_*` symbols --- compiler/rustc_span/src/symbol.rs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs index a63e9e933ae..602bb4a44a9 100644 --- a/compiler/rustc_span/src/symbol.rs +++ b/compiler/rustc_span/src/symbol.rs @@ -441,13 +441,6 @@ symbols! { document_private_items, dotdot_in_tuple_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_in_place, drop_types_in_const,