diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/crashes/ice-9238.rs')
-rw-r--r-- | src/tools/clippy/tests/ui/crashes/ice-9238.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/crashes/ice-9238.rs b/src/tools/clippy/tests/ui/crashes/ice-9238.rs new file mode 100644 index 000000000..ee6abd519 --- /dev/null +++ b/src/tools/clippy/tests/ui/crashes/ice-9238.rs @@ -0,0 +1,12 @@ +#![allow(incomplete_features)] +#![feature(generic_const_exprs)] +#![warn(clippy::branches_sharing_code)] + +const fn f() -> usize { + 2 +} +const C: [f64; f()] = [0f64; f()]; + +fn main() { + let _ = if true { C[0] } else { C[1] }; +} |