Fix var type inference2

Giving it another try.
That's caught by the next line. You will get the expected error message.
Anyway, I'm inverting the boolean expression. I think it's more readable that way.