Ensured that aliasing an alias cannot happen