issues
search
flux-rs
/
flux
Refinement Types for Rust
MIT License
581
stars
17
forks
source link
Fixes to make rdiesel work
#634
Closed
nilehmann
closed
1 month ago
nilehmann
commented
1 month ago
Only save metadata if crate has no errors
Check traits and impls for wf
Force conversion of signatures even if code is trusted.
Save all crate metadata