https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35919
Georg <georggcc at googlemail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |georggcc at googlemail dot com
--- Comment #2 from Georg <georggcc at googlemail dot com> ---
Works for me in more recent compilers. Example:
$ gcc -gnatvl -c p1.ads
GNAT 4.8.0 20130208 (experimental) [trunk revision 195897]
Copyright 1992-2013, Free Software Foundation, Inc.
Compiling: p1.ads (source file time stamp: 2014-08-13 12:17:45)
pragma Source_Reference (000001, "p1.ada");
1. package P1 is
2. type T1 is tagged null record;
3. function Something (X, Y : T1) return Boolean renames "=";
4. end P1;
5 lines: No errors
