Skip to content

Commit bc8a854

Browse files
ErisianArchitectErisianArchitect
authored
Improved const evaluation for ZST checks. (#401)
* Improved const evaluation for ZST checks. * Moved T into TaggedLen with PhantomData. * Add cargo clean between miri runs to prevent stale artifact error.
1 parent fe1abef commit bc8a854

2 files changed

Lines changed: 75 additions & 64 deletions

File tree

‎scripts/run_miri.sh‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,5 @@ rustup component add miri
1717
cargo miri setup
1818

1919
cargo miri test --verbose
20+
cargo clean
2021
cargo miri test --verbose --all-features

0 commit comments

Comments
 (0)