Skip to content

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const#115972

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:const-consistency
Sep 21, 2023
Merged

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const#115972
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:const-consistency

rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const

c94410c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs