search

flux-rs / flux

Refinement Types for Rust
MIT License
658 stars 21 forks source link

Parse Array ConstArg #888

Closed ranjitjhala closed 5 days ago

ranjitjhala commented 1 week ago

To allow writing specs like

#[flux::sig(fn (head: [i32; N]))]
pub fn test1<const N: usize>(head: [i32; N]) {}

#[flux::sig(fn (head: [i32; _]))]
pub fn test2<const N: usize>(head: [i32; N]) {}
ranjitjhala commented 5 days ago

am going to merge having removed the shady bit!

ranjitjhala commented 5 days ago

Fixes #887