Type check assertions