Skip to content

rename const checking visitor module to check_consts::check#87424

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:const-check
Jul 26, 2021
Merged

rename const checking visitor module to check_consts::check#87424
bors merged 2 commits intorust-lang:masterfrom
RalfJung:const-check

Commits

Commits on Jul 24, 2021