Auto merge of #129546 - compiler-errors:no-pred-on, r=fee1-dead

Get rid of `predicates_defined_on`

This is the uncontroversial part of #129532. This simply inlines the `predicates_defined_on` into into `predicates_of`. Nothing should change here logically.

Author: bors