{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"fcx.ty_to_string(expr_ty),"}]}
        fcx.ty_to_string(expr_ty),
        "casting `{}` as `{}` is invalid",
        fcx.ty_to_string(cast_ty)