Open
Description
Following up on #98561:
- Ensure relational comparisons aren't folded.
- Ensure unary operations aren't folded.
- Ensure HWIs aren't folded.
- Add asserts.
- Unify with
ImmedValCanBeFolded
. - Clean up code around casts and bitcasts.
- Delete assertion propagation workarounds.