Module region_matching

Structs

RegionSubst 🔒

Functions

replace_regions_with_unique_vars 🔒

Replace all non-bound regions with a rty::ReVar assigning each a unique rty::RegionVid. This is used to have a unique identifier for each position such that we can infer a region substitution.

rty_match_regions

ty_match_regions

See flux_refineck::type_env::TypeEnv::assign