Skip to content

Check binders with bound vars for global bounds that don't hold#117637

Merged
bors merged 2 commits intorust-lang:masterfrom
lqd:trivial-bounds-with-binder-vars
Nov 6, 2023
Merged

Check binders with bound vars for global bounds that don't hold#117637
bors merged 2 commits intorust-lang:masterfrom
lqd:trivial-bounds-with-binder-vars

Commits

Commits on Nov 6, 2023