Code

Fix some issues with lifetimes#16

Code

Merged

parno merged 4 commits intomainverus-lang/verusfmt:mainfrom lifetimesverus-lang/verusfmt:lifetimesCopy head branch name to clipboardNov 15, 2023

+196-27

Commits

Commits on Nov 15, 2023

• Add support for while loops with invariants.

  parno

  committed
  f0d6aae

  Copy full SHA for f0d6aae

• Add support for type_bound_list

  parno

  committed
  e947b8b

  Copy full SHA for e947b8b

• Add support for lifetime_param

  parno

  committed
  d334227

  Copy full SHA for d334227

• Fix spacing around lifetimes

  parno

  committed
  09bbd6d

  Copy full SHA for 09bbd6d