Re: [fpc-devel] Inconsistency in generics ?

2023-03-03 Thread Martin Frb via fpc-devel
On 03/03/2023 14:29, Sven Barth via fpc-devel wrote: All identifiers must be known when declaring a generic. In this case Trec1 is known thanks to the global type. Trec2 is not known (neither in its parent (at declaration time TBase1) nor globally) , so that will fail. When you specialize

Re: [fpc-devel] Inconsistency in generics ?

2023-03-03 Thread Sven Barth via fpc-devel
Martin Frb via fpc-devel schrieb am Fr., 3. März 2023, 12:55: > To me the below behaviour appears inconsistent. > But before I file a bug, I want to double check, if maybe this is > intention > > Tested with 3.2.3 and 3.3.1 > > Apparently > - when the generic TGen is compiled, it does check

[fpc-devel] Inconsistency in generics ?

2023-03-03 Thread Martin Frb via fpc-devel
To me the below behaviour appears inconsistent. But before I file a bug, I want to double check, if maybe this is intention Tested with 3.2.3  and 3.3.1 Apparently - when the generic TGen is compiled, it does check if a type "TRec1" and "TRec2" is in scope at all. - it verifies that the