Module region_matching

Structs

• RegionSubst 🔒

Functions

• replace_regions_with_unique_vars 🔒
  Replace all regions with a [ReVar] assigning each a unique [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