. "Both branches of the if must assign the same types to a and b, like when in D" . . .