I think that following is better:

```d
else if (!m1 && m2)   // normal path 1
    tf->next = exp->type;
else if (m1 && !m2)   // normal path 2
    ;
else if (exp->op != TOKerror)   // error path
    error("mismatched function return type inference of %s and %s",
```