http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40936
--- Comment #4 from nicolas.boulenguez at free dot fr --- I let you decide if this is related, but I get the same 4.6.4 (x86_64-pc-linux-gnu) Assert_Failure atree.adb:794 with this source package Bug is package P is type T is new Integer; end P; V : P.T; B : Boolean := P."=" ((V, V)); end Bug;