Rework some predicates_of
/{Generic,Instantiated}Predicates
code#106395
Merged
bors merged 4 commits intorust-lang:masterfrom Jan 16, 2023
Merged
Rework some `predicates_of`/`{Generic,Instantiated}Predicates` code#106395bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom