What is effect of "__callback" SAL annotation?

Question

While I certainly understand the purpose of buffer annotations, I can't see what kind of errors __callback detects.

Any ideas, examples?

Answer 1

Because if you forget the parens on something that returns void* and isn't a callback, SAL can tell you about it.