Auto merge of #101432 - nnethercote:shrink-PredicateS, r=lcnr

Shrink `PredicateS`

r? `@ghost`
This commit is contained in:
bors 2022-09-07 13:49:58 +00:00
commit 370742774c

Diff content is not available