{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"check_sized_if_body("}]}
    check_sized_if_body(
    // If the function has a body, additionally require that the return type is sized.
        wfcx,