Code

Feat.rewrite.lifetime#915

Code

Merged

aneksteind merged 14 commits intomasterimmunant/c2rust:masterfrom feat.rewrite.lifetimeimmunant/c2rust:feat.rewrite.lifetimeCopy head branch name to clipboardMay 11, 2023

+605-331

Commits

Commits on May 11, 2023

• zip_labels_with

  aneksteind

  committed
  b13b9f4

  Copy full SHA for b13b9f4

• move construct_adt_metadata into GlobalContext

  aneksteind

  committed
  a0940e9

  Copy full SHA for a0940e9

• rewrite lifetime parameters

  aneksteind

  committed
  98ba4df

  Copy full SHA for 98ba4df

• fix bug rewriting lifetimes that were declared instead of passed

  aneksteind

  committed
  6f0c9a8

  Copy full SHA for 6f0c9a8

• reorganize ty_desc construction

  Show description for 2913746
  

  2 peopleauthored and

  aneksteind

  committed
  2913746

  Copy full SHA for 2913746

• update docstring

  Show description for 3388fdf
  

  2 peopleauthored and

  aneksteind

  committed
  3388fdf

  Copy full SHA for 3388fdf

• cleanup hir args deconstruction

  Show description for 6134510
  

  2 peopleauthored and

  aneksteind

  committed
  6134510

  Copy full SHA for 6134510

• cleanup hir args deconstruction

  Show description for 5e8d436
  

  2 peopleauthored and

  aneksteind

  committed
  5e8d436

  Copy full SHA for 5e8d436

• use is_adt

  Show description for e2a6b3d
  

  2 peopleauthored and

  aneksteind

  committed
  e2a6b3d

  Copy full SHA for e2a6b3d

• cleanup rewritten params construction

  Show description for 60c33a3
  

  2 peopleauthored and

  aneksteind

  committed
  60c33a3

  Copy full SHA for 60c33a3

• formatting

  aneksteind

  committed
  b61367a

  Copy full SHA for b61367a

• remove & from &&List<GenericArg>

  Show description for 1855a14
  

  David Anekstein

  and

  spernsteiner

  authored
  1855a14

  Copy full SHA for 1855a14

• revert change to `ty_desc initialization

  aneksteind

  committed
  86da194

  Copy full SHA for 86da194

• remove subst:: qualification

  aneksteind

  committed
  bca9384

  Copy full SHA for bca9384