titaniumtown/YTBN-Graphing-Software
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clean assumes

Browse Source
This commit is contained in:
Simon Gardling 2022-05-16 10:01:49 -04:00
parent bc5b239e65
commit 6e2ed0f587
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/math_app.rs
View File

@ -140,7 +140,6 @@ impl MathApp {
debug_assert!(!data.is_empty()); debug_assert!(!data.is_empty());
unsafe { unsafe {
assume(!data.is_empty()); assume(!data.is_empty());
assume(data.len() > 0);
} }
let (commit, cached_data) = crate::misc::hashed_storage_read(data); let (commit, cached_data) = crate::misc::hashed_storage_read(data);
@ -149,8 +148,6 @@ impl MathApp {
debug_assert!(!cached_data.is_empty()); debug_assert!(!cached_data.is_empty());
unsafe { unsafe {
assume(commit.len() > 0);
assume(cached_data.len() > 0);
assume(!commit.is_empty()); assume(!commit.is_empty());
assume(!cached_data.is_empty()); assume(!cached_data.is_empty());
} }
@ -170,7 +167,6 @@ impl MathApp {
debug_assert!(!data.is_empty()); debug_assert!(!data.is_empty());
unsafe { unsafe {
assume(data.len() > 0);
assume(!data.is_empty()); assume(!data.is_empty());
} }
@ -188,8 +184,6 @@ impl MathApp {
debug_assert!(!func_data.is_empty()); debug_assert!(!func_data.is_empty());
unsafe { unsafe {
assume(commit.len() > 0);
assume(func_data.len() > 0);
assume(!commit.is_empty()); assume(!commit.is_empty());
assume(!func_data.is_empty()); assume(!func_data.is_empty());
} }