Rollup merge of #126388 - RalfJung:const-eval-lint-scope, r=oli-obk

const-eval: make lint scope computation consistent

The first commit is some renaming for consistency, but otherwise unrelated. It just didn't feel worth a separate PR, but I can split this up if you prefer.

r? ``@oli-obk``

Author: matthiaskrgr