Skip to content

lub: don't bail out due to empty binders#97867

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:lub-binder
Jun 22, 2022
Merged

lub: don't bail out due to empty binders#97867
bors merged 2 commits intorust-lang:masterfrom
lcnr:lub-binder

Commits

Commits on Jun 8, 2022