Function ty_match_regions

pub fn ty_match_regions(a: &Ty, b: &Ty) -> Ty

See flux_refineck::type_env::TypeEnv::assign