[fpc-pascal] Verify Method Calls

[tobiasgiesen at gmail.com]

Hello,

I would like to use "Verify Method Calls" (-CR), but when I choose it in the Lazarus
project options under debugging, I get compiler errors such as:

Incompatible type for arg no.2: Got "Class Of IZCollection", expected "TClass".

With Verify Method Calls off, the same code compiles fine.

The offending line is from ZEOS lib, ZCollections.pas:

HashMap.FKeys := IZCollection(FKeys.Clone);

I wonder why it says "arg no.2".

Any ideas? Is it possible to turn "Verify Method Calls" off via a {$xxx } switch in the
source code?

Cheers,
Tobias