Code

Improve bounds match#131

Code

Merged

riquito merged 8 commits intomasterriquito/tuc:masterfrom improve_bounds_matchriquito/tuc:improve_bounds_matchCopy head branch name to clipboardFeb 16, 2024

+229-266

Commits

Commits on Feb 13, 2024

• Migrate get_last_bound into UserBoundsList

  riquito

  committed
  dc242ce

• Expose directly last_interesting_field

  riquito

  committed
  c0cbb63

Commits on Feb 15, 2024

• Create UserBoundsTrait

  riquito

  committed
  f72f858

• Refactor fast lane inner match to be more ergonomic

  riquito

  committed
  0032bb9

• Do not clone UserBoundsList in fast lane

  riquito

  committed
  c2ae21f

• Store is_last information into UserBounds

  riquito

  committed
  3cc976a

Commits on Feb 16, 2024

• Remove UserBoundsList::new

  riquito

  committed
  1330616

• Store delimiter positions with usize in fast lane

  riquito

  committed
  894ebe1