change NormalizesTo
to fully structurally normalize#123363
Merged
bors merged 2 commits intorust-lang:masterfrom lcnr:normalizes-to-zero-to-infApr 5, 2024
NormalizesTo
to fully structurally normalize#123363