Control: retitle -1 [Fixed in 4.8] Assert_Failure sinfo.adb:2738 4.8.2-1 produces the expected result: a.ads:10:10: unmatched actual "Foo" a.ads:10:10: in instantiation of "B" declared at line 5