Skip to content

Remove projection_ty_from_predicates#86353

Merged
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:remove-projection_ty_from_predicates
Jun 17, 2021
Merged

Remove `projection_ty_from_predicates`#86353
bors merged 1 commit intorust-lang:masterfrom
JohnTitor:remove-projection_ty_from_predicates

Commits

Commits on Jun 16, 2021