Control: retitle -1 [Fixed in 4.8] Assert_Failure sinfo.adb:1072 in iterator 4.8.2-1 correctly reports the problem: proc.adb:9:10: iterator is an Ada 2012 feature