https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68171
--- Comment #1 from Troy <gcc at gyw dot com> --- As an aside, the test is based on an example in the Ada 2012 Rationale. The original uses Static_Predicate, but fails to compile with gnat 4.9.2. That is why I used Dynamic_Predicate instead.
