{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"],"}]}
                ],
                    (loop_header.shrink_to_lo(), format!("{}: ", label.ident)),
                Applicability::MachineApplicable,