{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"substs:"}]}
            substs: get_syntactic_substs(impl_).unwrap_or_default(),
            generic_def: Some(trait_.into()),
        }