BUG: IndexType trait checker