Code

Clean up region variables#387

Code

Merged

Nadrieril merged 11 commits intoAeneasVerif:mainAeneasVerif/aeneas:mainfrom Nadrieril:pre-debruijnNadrieril/aeneas:pre-debruijnCopy head branch name to clipboardDec 6, 2024

+100-78

Commits

Commits on Dec 5, 2024

• test_runner: -abort-on-error on success tests too

  Nadrieril

  committed
  fc61030

• Fix mistaken empty generics

  Nadrieril

  committed
  3c5e1ad

• Use a RegionBinder for TyKind::Arrow

  Nadrieril

  committed
  1898a29

• Add visit_{free,bound}_region visitor methods

  Nadrieril

  committed
  ef354f1

• Rename

  Nadrieril

  committed
  8e2cb31

• Rename RegionVarId to BoundRegionId

  Nadrieril

  committed
  ade8687

• Factor out the representation of free/bound region vars

  Nadrieril

  committed
  f516a7b

• Substitutions take a region var not a full region

  Nadrieril

  committed
  9dcc2c5

Commits on Dec 6, 2024

• Custom region id visitors are no longer needed

  Nadrieril

  committed
  b09f030

• Update charon pin

  Nadrieril

  committed
  db91238

• Rename visit_free_region_id for consistency

  Nadrieril

  committed
  7e82fc3