Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)

[gerrshapovalov@gmail.com]

Just a short addition:

This is with gnat-gpl-2019 (Gentoo Linux), compiled against the 8.3.1 gcc backend.

Also, I can "cure" the compilation problem by wrapping access to the list into an (abstract and overridden in child) function returning Reference to the List.
gnat manages to compile it then. However, upon execution it throws  "discriminant check failed" run-time exception..

(Reference to the list is that standard construct like:

type Input_Reference_Type  (Data : not null access IL.List_Interface'Class) is null record
        with Implicit_Dereference => Data;

This allows to return a callable object that can be used to call methods of List and do indexed data access (assignment/reading)
)