I believe an annotation that flags ASM to post process the byte code
to add runtime type safety checks would do the trick.|
Then we can say, yes Generics are supported in remote code, you just
need to add this @RuntimeServiceCheck annotation.
Perhaps one of the following annotions:
@RuntimeCheckedConversion
@DynamicCheckedConversion
Remember the compiler doesn't type check dynamic code conversion, only
static conversion. Dynamic happens at runtime. Services are dynamic,
discovered at runtime.
Peter.
