Nordlöw: > Actually, if I'm not mistaken, with this trait, we can inhibit > range value range checking in run-time when and get all the > benefits Ada range types currently delivers. I'd like to see and discuss how this could happen. Bye, bearophile