diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-04 17:51:40 +0200 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-05 16:26:18 +0200 |
| commit | b61b5fffb625a7db7bdd5d1c434971ecadc3791f (patch) | |
| tree | 3c7703de3ed83ec25d9e91f5e8a7bba5f2dfea1a /test/files/neg/caseinherit.check | |
| parent | 8234ba3905b588ea40e9a6bc0b1f83c464ddf191 (diff) | |
| download | scala-b61b5fffb625a7db7bdd5d1c434971ecadc3791f.tar.gz scala-b61b5fffb625a7db7bdd5d1c434971ecadc3791f.tar.bz2 scala-b61b5fffb625a7db7bdd5d1c434971ecadc3791f.zip | |
SI-6008 use static knowledge of success of type tests
augment the equality axioms to take into account that
a type test against the static type of a variable succeeds unless the variable is null
for exhaustivity we disregard null, so the type test always succeeds
during unreachability we model this knowledge as the obvious implication
Diffstat (limited to 'test/files/neg/caseinherit.check')
0 files changed, 0 insertions, 0 deletions