Function rustc_query_impl::query_structs::type_op_prove_predicate
source · pub(crate) const fn type_op_prove_predicate<'tcx>() -> QueryStruct<'tcx>pub(crate) const fn type_op_prove_predicate<'tcx>() -> QueryStruct<'tcx>