Put early refinements in root of `RefineTree` - Githubissues

flux-rs / flux

Refinement Types for Rust

MIT License

648 stars 21 forks source link

Put early refinements in root of `RefineTree` #757

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

Encode early params in fixpoint
Put early params in the root node of RefineTree
Remove reftparams from `InferCtxt