{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"return_or_body_span,"}]}
            return_or_body_span,
            declared_ret_ty,
            ObligationCauseCode::SizedReturnType,