{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":")"}]}
) -> Result<MirBody> {
    root_expr: ExprId,
    if infer.type_mismatches().next().is_some() || infer.is_erroneous() {