Function print_where_predicate

fn print_where_predicate<'a, 'tcx: 'a>(
    predicate: &'a WherePredicate,
    cx: &'a Context<'tcx>,
) -> impl Display + 'a + Captures<'tcx>