{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"};"}]}
                };
                    (false, _) | (_, false) => (Some(tcx.def_span(trait_def_id)), None, ""),
            self.dcx().emit_err(crate::errors::ConstBoundForNonConstTrait {