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 the value of Current is really
a memory address.
(This is the case for all reference types and
for the NATIVE_ARRAY type only.) Actually, this routine do
nothing: the value of Current which is an address is returned
unchanged. The compiler will emit a warning if you try to use
to_pointer on some invalid type.