search

flux-rs / flux

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

Check struct compat against extern FnSig #732

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

Enabled by https://github.com/flux-rs/flux/pull/713