When an expectation is explicitly verified and it fails with a "missing invocation" message, no information is shown about any non-matching invocations that may have occurred to the verified method/constructor. A list with these invocations, including their argument values, could be shown in the error message to ease diagnosis.