use the real name of the interface `ArrayAccess`