Return a new object with the dynamic type of Current.
Before being returned, the new object is initialized using feature copy (Current is passed as the argument).
Thus, when feature copy of ANY is not redefined, twin has exactly the same behavior as standard_twin.
For example, when this feature is applied on an INTEGER, the
Result is True only when the INTEGER is 0. If not redefined, the
Result is always False for a reference expression. Actually, this
is_default predicate may be useful for user-defined expanded
objects stored in collection (see all_default of class
This routine can be used only if Current is not expanded or
if Current is some NATIVE_ARRAY or some FIXED_ARRAY.
Actually, this routine does nothing: the value of Current which
a memory address is returned.
The compiler will emit an error message if you try to use to_pointer
on some expanded type which is not a NATIVE_ARRAY nor FIXED_ARRAY.