Skip to content

Erase regions before doing uninhabited check in borrowck#107532

Merged
bors merged 1 commit intorust-lang:masterfrom compiler-errors:erase-regions-in-uninhabitedFeb 2, 2023
+22-1

Commits

Commits on Feb 1, 2023