rgrig/barista — Issue #13: symbolic execution is too lenient
Author: rgrig
Created: 2012-03-01 17:09:54+00:00
State: open

Any code that passes the type inference in Barista should pass JVM's type checking. See [issue 12 of topl](https://github.com/rgrig/topl/issues/12) for a counterexample.

Type inference should use the types from Section 4.10.1.1 of the JVM7 spec. For example, the following should be _illegal_.
* Put an uninitialized reference in an array of Object.
* Disobey the class hierarchy.

Some additional information appears in [an issue filed with topl]().