A policy of the given bounds; each left out is as in DEFAULT.
A policy of the given bounds with Java types, for Java callers.