search

flux-rs / flux

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

Support self receiver and arbitrary self types in extern specs #766

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

See tests/pos/vec/vec00.rs