http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32164
nicolas.boulenguez at free dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |nicolas.boulenguez at free | |dot fr --- Comment #12 from nicolas.boulenguez at free dot fr 2011-08-31 14:50:51 UTC --- We now have two distinct assertion failures. First version with T1 Eq Neq gives: 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:904 Error detected at pak1.ads:1:1 Second version with T1 Eq and T2 Eq gives: 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:910 Error detected at pak2.ads:6:43