ion applies to any class. It is inherited by subclasses from both
superclass and interfaces.</p>
<p>If a class is annotated with <code>@proxy</code>, or it implements any class that is
annotated, then all member accesses are allowed on an object of that type.
As such, it is not a static type warning to access any member of the object
which is not implemented by the class, or to call a method with a different
number of parameters than it is declared with.</p>
<p>The annotation does not change which classes t