Do not bother optimizing impossible functions.#110728

Merged

bors merged 3 commits intorust-lang:masterfrom cjgillot:no-false-optes

Apr 27, 2023

+46-38

Commits on Apr 23, 2023

Do not bother optimizing impossible functions.
cjgillot
committed

Commits on Apr 24, 2023

Fully clear the body.
cjgillot
committed

Commits on Apr 25, 2023

Move unstatisfaction check earlier.
cjgillot
committed