------- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-18 12:10 ------- Actually, the declaration of x2 is illegal; GNAT is correct in rejecting it. The declaration of T3 is legal and incorrectly rejected. The error messages are:
gnatmake -gnat05 pak1-pak3.ads gcc-4.1 -c -gnat05 pak1-pak3.ads pak1-pak3.ads:3:15: invalid constraint: type has no discriminant pak1-pak3.ads:4:14: no value supplied for discriminant "D" (see also PR ada/34507). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34508
