The Assertion Predicate work, under the umbrella issue JDK-8288981, consisted of many preparatory subtasks and was eventually delivered with the integration of the main fix in JDK-8350577.

There are still some follow-up tasks left to do which are summarized in the PR of JDK-8350577. This umbrella issue keeps track of them.

Note that these tasks are not required for the correctness of the Assertion Predicates. These include things like clean-ups, more refactorings or adding more verification.