flux-rs / flux

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

Improve (Localize) errors at function calls #894

Open ranjitjhala opened 1 week ago

ranjitjhala commented 1 week ago

I was thinking that we can improve the errors at function calls because we have access to the span of the (actual) argument

_Originally posted by @nilehmann in https://github.com/flux-rs/flux/pull/891#discussion_r1847623677_