| error[E0080]: attempt to divide `1_usize` by zero |
| --> $DIR/post-mono.rs:7:24 |
| | |
| LL | post_mono: usize = X / 0, |
| | ^^^^^ evaluation of `Z::<1>::post_mono::{constant#0}` failed here |
| |
| note: erroneous constant encountered |
| --> $DIR/post-mono.rs:17:19 |
| | |
| LL | let x: Z<1> = Z { .. }; |
| | ^^^^^^^^ |
| |
| note: erroneous constant encountered |
| --> $DIR/post-mono.rs:17:19 |
| | |
| LL | let x: Z<1> = Z { .. }; |
| | ^^^^^^^^ |
| | |
| = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0080`. |
