What is the purpose of Verifiable(Func<Times> times) if not deferral?

[Ghostbird]

I expected this to work:

var pushCount = 0;
var stackMock = new Mock<Stack<string>>();
stackMock.Setup(s => s.Push(It.IsAny<string>())).Callback(() => pushCount += 1);
stackMock.Setup(s => s.Pop()).Verifiable(() => Times.Exactly(pushCount));
var sut = new MyClass(stackMock.Object);
var act = MyClass.MethodThatShouldNotLeakStackOnError;
await act.Should().ThrowAsync<InvalidOperationException>();
mock.VerifyAll();

However, when I debug this, the lamba in …s.Pop()).Verifiable( is called immediately at Setup time. I expected it to be deferred to the time of verification because:

• I can think of a use-case for that
• I can concisely write a verification that I otherwise can't.

What then is the purpose of that overload, if not deferral? It seems its current use means that I might just as well run the code in the lambda on the line before the setup.