https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81919
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2017-08-22 CC| |ebotcazou at gcc dot gnu.org Summary|Compiler refuses to compile |type derived from |valid code |instantiation of | |Ada.Iterator_Interfaces | |wrongly rejected Ever confirmed|0 |1 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > We think that the refusal to compile it is a compiler bug. > > Note that if I remove "type Iterated_Object is access all Integer;" and > replace "type Cursor is new Iterated_Object;" with "type Cursor is access > all Integer;" then the compiler does not complaint. Yes, the behaviour is rather inconsistent.