Subtype predicates only exist on inference types, so we can allow them to register opaque types within them.#123979