{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"),"}]}
                    ),
                        },
                    (false, _) | (_, false) => (Some(tcx.def_span(trait_def_id)), None, ""),