Skip to content

Split smir Const into TyConst and MirConst#125967

Merged
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:split_smir_const
Jun 4, 2024
Merged

Split smir `Const` into `TyConst` and `MirConst`#125967
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:split_smir_const

Commits

Commits on Jun 4, 2024