Design FAQ - Syntax and Semantics

1. Why allow primitive types in Expression₂?

   There is no compelling reason to restrict the type of this expression. Allowing arbitrary types provides convenience for developers who for example want to associate a unique integer code with each assertion. Further, it makes this expression seem like System.out.print(...), which is desirable.