rust/compiler/rustc_codegen_ssa
Scott McMurray a93a9aa2d5 Don't emit two assumes in transmutes when one is a subset of the other
For example, transmuting between `bool` and `Ordering` doesn't need two `assume`s because one range is a superset of the other.

Multiple are still used for things like `char` <-> `NonZero<u32>`, which overlap but where neither fully contains the other.
2025-07-23 09:16:32 -07:00
..

Please read the rustc-dev-guide chapter on Backend Agnostic Codegen.