about summary refs log tree commit diff
path: root/compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp
diff options
context:
space:
mode:
authorScott McMurray <scottmcm@users.noreply.github.com>2025-07-20 00:17:22 -0700
committerScott McMurray <scottmcm@users.noreply.github.com>2025-07-23 09:16:32 -0700
commita93a9aa2d57564660b2c28e5c1cdda7943989f17 (patch)
treee2a785e04b2a8f229b63968ca0d387856e7b41c5 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp
parenta7a1618e6c835f1f00940ad72203d05808209a0d (diff)
downloadrust-a93a9aa2d57564660b2c28e5c1cdda7943989f17.tar.gz
rust-a93a9aa2d57564660b2c28e5c1cdda7943989f17.zip
Don't emit two `assume`s 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.

Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions