| #![feature(inline_const)] |
| #![warn(clippy::indexing_slicing)] |
| // We also check the out_of_bounds_indexing lint here, because it lints similar things and |
| // we want to avoid false positives. |
| #![warn(clippy::out_of_bounds_indexing)] |
| #![allow( |
| unconditional_panic, |
| clippy::no_effect, |
| clippy::unnecessary_operation, |
| clippy::useless_vec, |
| clippy::out_of_bounds_indexing |
| )] |
| |
| const ARR: [i32; 2] = [1, 2]; |
| const REF: &i32 = &ARR[idx()]; // Ok, should not produce stderr, since `suppress-restriction-lint-in-const` is set true. |
| |
| const fn idx() -> usize { |
| 1 |
| } |
| const fn idx4() -> usize { |
| 4 |
| } |
| |
| fn main() { |
| let x = [1, 2, 3, 4]; |
| let index: usize = 1; |
| x[index]; |
| x[4]; // Ok, let rustc's `unconditional_panic` lint handle `usize` indexing on arrays. |
| x[1 << 3]; // Ok, let rustc's `unconditional_panic` lint handle `usize` indexing on arrays. |
| |
| x[0]; // Ok, should not produce stderr. |
| x[3]; // Ok, should not produce stderr. |
| x[const { idx() }]; // Ok, should not produce stderr. |
| x[const { idx4() }]; // Ok, let rustc's `unconditional_panic` lint handle `usize` indexing on arrays. |
| const { &ARR[idx()] }; // Ok, should not produce stderr, since `suppress-restriction-lint-in-const` is set true. |
| |
| let y = &x; |
| y[0]; // Ok, referencing shouldn't affect this lint. See the issue 6021 |
| y[4]; // Ok, rustc will handle references too. |
| |
| let v = vec![0; 5]; |
| v[0]; |
| v[10]; |
| v[1 << 3]; |
| |
| const N: usize = 15; // Out of bounds |
| const M: usize = 3; // In bounds |
| x[N]; // Ok, let rustc's `unconditional_panic` lint handle `usize` indexing on arrays. |
| x[M]; // Ok, should not produce stderr. |
| v[N]; |
| v[M]; |
| } |
| |
| /// An opaque integer representation |
| pub struct Integer<'a> { |
| /// The underlying data |
| value: &'a [u8], |
| } |
| impl<'a> Integer<'a> { |
| // Check whether `self` holds a negative number or not |
| pub const fn is_negative(&self) -> bool { |
| self.value[0] & 0b1000_0000 != 0 |
| } |
| } |