[fpc-pascal] Generic type conflicts

[Michael Van Canneyt]

On Thu, 7 Nov 2019, Ben Grasset via fpc-pascal wrote:

> On Thu, Nov 7, 2019 at 3:03 AM Sven Barth via fpc-pascal <
> fpc-pascal at lists.freepascal.org> wrote:
>
>> If there is no type checking, then it is *not* verified by the compiler.
>>
>
> Perhaps "no type checking" was not the write way to put it. A better way to
> describe it might be:
>

[snip]

> E.G. it could still do the full checking, as the only thing that really
> matters is that it does not actively raise error messages only relevant for
> Integer under code blocks only entered for tkFloat.

If I understood Sven's example correct, then the compiler does exactly this
already.

Michael.