Paolo Redaellitwin: ANY– Return a new object with the dynamic type of Current.
copy (other: ANY) — Update current object using fields of object attached to other, so as to yield equal objects.
Too bad that those Eiffel features, (function members) available in each and every object and variable are not available in Kotlin.