Change first test to be CHECK: to make the test run.

GitOrigin-RevId: 4a18a5bdd9e2e119cf24653e34b22cf356fffe77
1 file changed