| Ralf Jung | a2e61ae | 2022-06-29 21:31:27 -0400 | [diff] [blame] | 1 | error: Undefined Behavior: constructing invalid value: encountered 0x02, but expected a boolean |
| Oli Scherer | 9f9f198 | 2024-09-07 16:40:08 +0200 | [diff] [blame] | 2 | --> tests/fail/validity/invalid_bool.rs:LL:CC |
| Oli Scherer | f1756c3 | 2022-03-17 13:49:10 +0000 | [diff] [blame] | 3 | | |
| 4 | LL | let _b = unsafe { std::mem::transmute::<u8, bool>(2) }; |
| Ralf Jung | bb53df1 | 2025-06-07 11:54:55 +0200 | [diff] [blame] | 5 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Undefined Behavior occurred here |
| Oli Scherer | f1756c3 | 2022-03-17 13:49:10 +0000 | [diff] [blame] | 6 | | |
| 7 | = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior |
| 8 | = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information |
| Oli Scherer | f1756c3 | 2022-03-17 13:49:10 +0000 | [diff] [blame] | 9 | |
| 10 | note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace |
| 11 | |
| Nilstrieb | 377da2f | 2023-11-21 17:10:10 +0000 | [diff] [blame] | 12 | error: aborting due to 1 previous error |
| Oli Scherer | f1756c3 | 2022-03-17 13:49:10 +0000 | [diff] [blame] | 13 | |
