Skip to content

Commit

Permalink
Rollup merge of #120933 - RalfJung:const-check-misc, r=oli-obk
Browse files Browse the repository at this point in the history
check_consts: fix duplicate errors, make importance consistent

This is stuff I noticed while working on rust-lang/rust#120932, but it's orthogonal to that PR.

r? ``@oli-obk``
  • Loading branch information
matthiaskrgr authored Feb 12, 2024
2 parents 7bbca33 + 437d422 commit bbcd736
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit bbcd736

Please sign in to comment.