Skip to content

cleanup leftovers of const_err lint#115771

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:no-more-const-err-lintSep 13, 2023

Commits

Commits on Sep 12, 2023