Skip to content

Erase regions before doing uninhabited check in borrowck#107532

Merged
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:erase-regions-in-uninhabited
Feb 2, 2023
Merged

Erase regions before doing uninhabited check in borrowck#107532
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:erase-regions-in-uninhabited

Erase regions before uninhabited check

2c23c7f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs