DynamicJava: Added a TypeSystem.isDisjoint function. Redefined casting and valid ==, !=, instanceof in terms of it.
Authored by: dlsmith 2009-09-04
Parent: [r5063]
Child: [r5065]