what is lazy_normalization_consts but a step towards a brighter tomorrow#3

lcnr wants to merge 2 commits intomasterlcnr/rust:masterfrom

bb-lazy-normlcnr/rust:bb-lazy-normCopy head branch name to clipboard