search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.08k stars 58 forks source link

implement `View` and `DeepView` for `&[T]` explicitly #1105

Closed y1ca1 closed 1 month ago

y1ca1 commented 2 months ago

This is related to #1104. Not sure if there is a better way to do this though.

y1ca1 commented 1 month ago

This can be closed as per https://github.com/verus-lang/verus/commit/f880ccf7bdb97a4f015d7a3de59abd4d5424dff2