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
