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