{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"constrain_to_trait:"}]}
    constrain_to_trait: bool,
    make_trait_body: impl FnOnce(&BasicAdtInfo) -> tt::TopSubtree,
    extra_impl_params: tt::TopSubtree,