Mercurial > hg > truffle
diff make/defs.make @ 296:ce93a51457ae
6730716: nulls from two unrelated classes compare not equal
Summary: check for not-nullness after proving that types are unrelated
Reviewed-by: kvn, never
author | rasbold |
---|---|
date | Tue, 19 Aug 2008 07:25:02 -0700 |
parents | 9c2ecc2ffb12 |
children | 354d3184f6b2 7fbf850d87b7 |