type-equality-1
