For example, what type should a compiler infer for...

# announcements

[cedric]

For example, what type should a compiler infer for the expression if (false) 0 else ""? Most compilers will say Any while humans would expect the compiler to say String. It's very, very hard for a compiler to venture too much into runtime analysis.