I see it in the sense that if the target for both compilers is to produce a correct program, then that target is much easier to achieve with more information (a

I see it in the sense that if the target for both compilers is to produce a correct program, then that target is much easier to achieve with more information (and less assumptions) passed in the source code by the programmer (ie Swift).