Fall back to `rustc` when normalizing

flux-rs / flux

Refinement Types for Rust

MIT License

648 stars 21 forks source link

Fall back to `rustc` when normalizing #736

Closed ranjitjhala closed 2 months ago

ranjitjhala commented 2 months ago

As a temporary "stopgap" till we figure out the ParamEnv situation, here's a fallback that just queries rustc in case flux can't find a suitable candidate.