search

flux-rs / flux

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

Hack to not crash when matching on a &mut Option<T> with a refinement #783

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

Hack to fix the CI after adding extern specs to Option<T>

See https://github.com/flux-rs/flux/issues/782