Não é possível inferir um tipo comum para o primeiro e o segundo operando do operador 'If' binário. Um deve ter uma ampla ...