HIR Const Eval - Remove '$' and leading digits from generated constant names
HIR Const Eval - Remove '$' and leading digits from generated constant names

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc