| commit | 530c48eeb34e1b4376a74355ad36a33d04e6a473 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Apr 06 11:07:12 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Apr 06 11:07:12 2010 +0000 |
| tree | 6330e5714bcd29d1ae5770b89cb65cf38e12a507 | |
| parent | 4df594786fa0572cfcfe9474b42527f08c28623e [diff] |
Fixes for new tests test172_invalidWideningOfConfinedRole4-6 - confined interfaces don't extend Object - detect casting confined to Object