[fpc-pascal] Checking assignment compatibility

[Michael Van Canneyt]

On Sun, 5 Jan 2014, Mark Morgan Lloyd wrote:

> Simulating a C-style conditional, I can do this
>
> function tf(const q: qword; const qt, qf: TObject): TObject; inline;
>
> begin
>  Assert(TypeOf(qt) = TypeOf(result));

This is always true. Everything descends from TOBject.

But assuming the result is not TObject, it would be

Assert((qt=Nil) or (qt.Inheritsfrom(TheResultClass))

Although that is still radically different from what the C style macro does.

Michael.