Code

RFC: extended_hrtbs #3261

Code

Open

tema3210 wants to merge 4 commits intorust-lang:masterrust-lang/rfcs:masterfrom tema3210:extended_hrtbstema3210/rfcs:extended_hrtbsCopy head branch name to clipboard

+106

Commits

Commits on May 8, 2022

• Add extended_hrtbs RFC

  tema3210

  committed
  f563825

  Copy full SHA for f563825

• Set RFC number

  tema3210

  committed
  77cd30a

  Copy full SHA for 77cd30a

Commits on May 9, 2022

• Rewording; Resolve the proposed restriction

  tema3210

  committed
  81d33c0

  Copy full SHA for 81d33c0

Commits on May 17, 2022

• Add a sybtyping details

  tema3210

  committed
  cf8239d

  Copy full SHA for cf8239d