admitSubtypeCapability top-level constant
Gives support for calling .reflect on subtypes of covered instances.
In other words, this capability makes it possible
to obtain a mirror which is intended to mirror an instance of a target
class C, but it is actually mirroring a reflectee of a proper subtype
D of C.
Please note that this is a subtle situation that may easily cause confusing and unintended results. It is only intended for usage in cases where the associated size reductions are highly appreciated, and the subtle semantics clearly understood!
In particular, note that declarations of members in subtypes are ignored
unless they implement or override a declaration in the target class
or a supertype thereof. Also note that the method type on an
InstanceMirror will throw an exception, because it will otherwise
have to return a ClassMirror for the target class, and that would
yield results which are plain wrong.
For more information about this potentially dangerous device, please refer to the design document. TODO(eernst) doc: Insert a link to the design document.
Implementation
const admitSubtypeCapability = _AdmitSubtypeCapability();