Function rustc_query_impl::dynamic_query::type_op_prove_predicate

pub(crate) fn type_op_prove_predicate<'tcx>(
    
) -> DynamicQuery<'tcx, Storage<'tcx>>