https://doc.rust-lang.org/stable/nightly-rustc/rustc_middle/traits/query/type_op/struct.ProvePredicate.html
ProvePredicate in rustc_middle::traits::query::type_op - Rust
API documentation for the Rust `ProvePredicate` struct in crate `rustc_middle`.
query typerustcmiddletraitsop