pub(crate) fn where_clauses( tcx: TyCtxt<'_>, clauses: ThinVec<WherePredicate>, ) -> ThinVec<WherePredicate>