{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"tail_defines_return_position_impl_trait,"}]}
                        tail_defines_return_position_impl_trait,
                        prior_non_diverging_arms: prior_non_diverging_arms.clone(),
                    }))