Skip to content

Commit

Permalink
chore: remove unnecessary casts
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Apr 17, 2024
1 parent 23e1f3b commit 3dc4fd4
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions noir_stdlib/src/collections/bounded_vec.nr
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ impl<T, MaxLen> BoundedVec<T, MaxLen> {
}

pub fn get(mut self: Self, index: u64) -> T {
assert(index as u64 < self.len);
assert(index < self.len);
self.storage[index]
}

Expand All @@ -19,7 +19,7 @@ impl<T, MaxLen> BoundedVec<T, MaxLen> {
}

pub fn push(&mut self, elem: T) {
assert(self.len < MaxLen as u64, "push out of bounds");
assert(self.len < MaxLen, "push out of bounds");

self.storage[self.len] = elem;
self.len += 1;
Expand All @@ -41,7 +41,7 @@ impl<T, MaxLen> BoundedVec<T, MaxLen> {

pub fn extend_from_array<Len>(&mut self, array: [T; Len]) {
let new_len = self.len + array.len();
assert(new_len as u64 <= MaxLen as u64, "extend_from_array out of bounds");
assert(new_len <= MaxLen, "extend_from_array out of bounds");
for i in 0..array.len() {
self.storage[self.len + i] = array[i];
}
Expand All @@ -50,7 +50,7 @@ impl<T, MaxLen> BoundedVec<T, MaxLen> {

pub fn extend_from_slice(&mut self, slice: [T]) {
let new_len = self.len + slice.len();
assert(new_len as u64 <= MaxLen as u64, "extend_from_slice out of bounds");
assert(new_len <= MaxLen, "extend_from_slice out of bounds");
for i in 0..slice.len() {
self.storage[self.len + i] = slice[i];
}
Expand All @@ -60,7 +60,7 @@ impl<T, MaxLen> BoundedVec<T, MaxLen> {
pub fn extend_from_bounded_vec<Len>(&mut self, vec: BoundedVec<T, Len>) {
let append_len = vec.len();
let new_len = self.len + append_len;
assert(new_len as u64 <= MaxLen as u64, "extend_from_bounded_vec out of bounds");
assert(new_len <= MaxLen, "extend_from_bounded_vec out of bounds");

let mut exceeded_len = false;
for i in 0..Len {
Expand All @@ -73,7 +73,7 @@ impl<T, MaxLen> BoundedVec<T, MaxLen> {
}

pub fn pop(&mut self) -> T {
assert(self.len as u64 > 0);
assert(self.len > 0);
self.len -= 1;

let elem = self.storage[self.len];
Expand Down

0 comments on commit 3dc4fd4

Please sign in to comment.