Function rustc_query_impl::query_callbacks::type_op_prove_predicate
source · pub(crate) fn type_op_prove_predicate<'tcx>() -> DepKindStruct<'tcx>
pub(crate) fn type_op_prove_predicate<'tcx>() -> DepKindStruct<'tcx>