Address hierarchy with non-covariant address returns