Skip to content

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

Merged
bors merged 2 commits intorust-lang:masterfrom RalfJung:const-consistencySep 21, 2023

Commits

Commits on Sep 20, 2023