parid0377
| Sat, 22 Feb 2003 16:02:03
If neither assertion specifies its assertion type, it cannot be
assumed that the lack of an assertion type itself constitutes a specific
assertion type which is the same for both.
Untyped assertions never merge.
|