Skip to content

interpret: extend comment on the inhabitedness check in downcast - #118935

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:interpret-downcast
Dec 14, 2023
Merged

interpret: extend comment on the inhabitedness check in downcast#118935
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:interpret-downcast

interpret: extend comment on the inhabitedness check in downcast

5d87d83
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs