Minor tweaks to make some normalization (adjacent) code less confusing

[BoxyUwU]

r? lcnr

[rustbot]

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

[compiler-errors]

:3

[BoxyUwU]

nailed it

[rust-log-analyzer]

The job mingw-check failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

No error code explanation was removed!
+ reuse --include-submodules lint
# MISSING COPYRIGHT AND LICENSING INFORMATION

The following files have no copyright and licensing information:
* ../e qqq


# SUMMARY

* Bad licenses: 0
---


# RECOMMENDATIONS

* Fix missing copyright/licensing information: For one or more files, the tool
  cannot find copyright and/or licensing information. You typically do this by
  adding 'SPDX-FileCopyrightText' and 'SPDX-License-Identifier' tags to each
  file. The tutorial explains additional ways to do this:
  <https://reuse.software/tutorial/>

  local time: Tue Apr 29 15:13:12 UTC 2025
  network time: Tue, 29 Apr 2025 15:13:12 GMT
##[error]Process completed with exit code 1.
Post job cleanup.

[BoxyUwU]

I'm just going to open a new PR.... for some reason github refuses to accept any changes to this branch ._.