] evaluates expr, and returns the result, unless messages were generated, in which case it evaluates and returns failexpr.
, ... ] checks only for the specified messages.
Check has attribute HoldAll.
Check tests only for messages that are actually output. It does not test for messages that have been suppressed using Off.
See the Mathematica book: Section 2.8.21.
See also: MessageList, $MessageList, Message, Indeterminate, TimeConstrained, CheckAbort.
Evaluating 0^0 produces a message, so the second argument of Check is returned.
Power::indet: Indeterminate expression 0 encountered.
Log::argt: Log called with 3 arguments; 1 or 2 arguments are expected.