{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"if"}]}
    if infer.type_mismatches().next().is_some() || infer.is_erroneous() {
) -> Result<MirBody> {
        return Err(MirLowerError::HasErrors);