------- Comment #2 from sam at gcc dot gnu dot org 2008-11-17 19:56 ------- >From what I understand:
- "access T1" is an access_definition and thus a general access type (RM 3.10(12/2)) - "Y'Access" is of the type of its context, which should be a general access type (RM 3.10.2(24/1)) - An equality operator exists for anonymous access types and is visible because it is defined in Standard (RM 4.5.2(7.2/2)) Note that the current GCC gives no error even on the line you marked with "error detected". Do you agree that this bug can be closed? -- sam at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |sam at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2005-06-14 04:48:37 |2008-11-17 19:56:37 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16095