Re: Note on BC and type assertions

[Tom Tromey <tromey at redhat dot com>]

Andrew> That's why I wanted to generate code for the assertions.  Then
Andrew> you can assert anything you want.

There is a hidden issue, which is what this code looks like.  E.g., if
it includes a call to Class.getModifiers (to check non-abstractness),
then it needs to go via the [ao]table.  If it is a new _Jv_ function,
then that is another fixed part of the API.  This isn't a major thing,
of course, but I wanted to make sure it is explicit.

Tom