search

verus-lang / verus

Verified Rust for low-level systems code
MIT License
1.15k stars 66 forks source link

handle integer range bounds for const type params #1113

Closed tjhance closed 4 months ago

tjhance commented 4 months ago

fixes #1065