Note on BC and type assertions

Wed Oct 20 18:33:00 GMT 2004

>> If we want to fully support the "gcj never fails" approach, then we
>> have to support cases like this. For instance, it is an error to use
>> invokestatic on a non-static method. This has to be reverified at
>> runtime.

Bryce> For the BC-ABI this is already verified when linking the
Bryce> otable/atable. There is no need for a separate assertion entry.
Yeah, duh on me.
Tom