Evaluating 0^0 produces a message, so the second argument of Check is returned.
In[1]:=
Out[1]=
In[2]:=
Out[2]=