What's with the `!is(AT[] == AT)` check?