I agree that those can be issues... but that can be solved by annotating the methods to those constraints. The compiler can even highlight potential problems an

I agree that those can be issues... but that can be solved by annotating the methods to those constraints. The compiler can even highlight potential problems and ask that you annotate them. The benefit of this approach is that the compiler should be able to see more opportunities for optimization and also result in fewer bugs.