search

flux-rs / flux

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

Don't crash when taking a reference to an array index #656

Closed nilehmann closed 3 months ago

nilehmann commented 3 months ago

Fixes https://github.com/flux-rs/flux/issues/654