flux-rs / flux

Refinement Types for Rust
MIT License
581 stars 17 forks source link

Resolve holes in rty #642

Closed nilehmann closed 1 month ago

nilehmann commented 1 month ago

Lower holes all the way down to rty and resolve them by matching types against rustc::ty. First step towards moving annot_check from fhir to rty.