reassign 427107 gnat-4.6 found 427107 4.6.1-5 thanks 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