Code

Pattern types MVP#107606

Code

Closed

oli-obk wants to merge 13 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:pattern_types_syntaxoli-obk/rust:pattern_types_syntaxCopy head branch name to clipboard

Commits

Commits on Feb 2, 2023

• Add pattern types to ast

  oli-obk

  committed
  846b80e

  Copy full SHA for 846b80e

• Add pattern types to parser

  oli-obk

  committed
  e3dd737

  Copy full SHA for e3dd737

• Thread pattern types through the HIR

  oli-obk

  committed
  d220902

  Copy full SHA for d220902

• Start handling pattern types at the HIR -> Ty conversion boundary

  oli-obk

  committed
  f8c08a3

  Copy full SHA for f8c08a3

• Mark the feature as incomplete

  oli-obk

  committed
  a9c203d

  Copy full SHA for a9c203d

• Test macros

  oli-obk

  committed
  b055a05

  Copy full SHA for b055a05

• Restrict access to the private field of newtype indexes

  oli-obk

  committed
  50d50ab

  Copy full SHA for 50d50ab

• use `'tcx` where it is known to be (Step 1)

  oli-obk

  committed
  8f37d1f

  Copy full SHA for 8f37d1f

• use `'tcx` where it is known to be (Step 2)

  oli-obk

  committed
  925e0b6

  Copy full SHA for 925e0b6

• fixup step 1

  oli-obk

  committed
  7bdd60c

  Copy full SHA for 7bdd60c

• Don't forget that the lifetime on hir types is `'tcx`

  oli-obk

  committed
  ff28254

  Copy full SHA for ff28254

• Actually create ranged int types in the type system.

  oli-obk

  committed
  bd41537

  Copy full SHA for bd41537

• bug: nesting pattern types in enums doesn't use layout optimizations

  oli-obk

  committed
  e05cbfe

  Copy full SHA for e05cbfe