Feed explicit_predicates_of instead of predicates_of

[compiler-errors]

Tiny nitpick, just avoiding needing to mark the predicates_of query as feedable since it's derived from explicit_predicates_of.

[rustbot]

r? @matthewjasper

rustbot has assigned @matthewjasper.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[rustbot]

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[compiler-errors]

spurious network error lol

[compiler-errors]

Hey @fmease, I ended up removing the doc comments from TyCtxtFeed semi-because of your work in #134787, and so removing TyCtxtFeed::predicates_of breaks the doc comments on TyCtxtFeed::explicit_predicates_of.

Specifically:

Indeed, such links are generally a bit brittle due to the existence of TyCtxtFeed which only contains a subset of queries. Therefore the docs of feedable queries cannot cross-link to non-feedable ones. I'd say it's fine to use intra-doc links despite the potential/unlikely occasional future breakage (if a query with the aforementioned characteristics becomes feedable)

I think TyCtxtFeed is so rare that it's fine to just... straight up ignore doc comments on these methods :) If you've got an alternative suggestion, I'm happy to implement it instead.

[oli-obk]

r? @oli-obk

@bors r+

[bors]

📌 Commit ef4f719 has been approved by oli-obk

It is now in the queue for this repository.