Code

(some normalization improvements)#104133

Code

Closed

compiler-errors wants to merge 5 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:issue-103423compiler-errors/rust:issue-103423Copy head branch name to clipboard

Commits

Commits on Nov 6, 2022

• Pass considering_regions to normalize query

  compiler-errors

  committed
  36358f6

  Copy full SHA for 36358f6

• Make needs_normalization into a TypeFoldable method

  compiler-errors

  committed
  47ff6ac

  Copy full SHA for 47ff6ac

• Don't normalize constants unless they need normalization

  compiler-errors

  committed
  d368f0c

  Copy full SHA for d368f0c

Commits on Nov 7, 2022

• rework normalization

  compiler-errors

  committed
  1f5a006

  Copy full SHA for 1f5a006

Commits on Nov 8, 2022

• fully_revealed_type_of

  compiler-errors

  committed
  0652c94

  Copy full SHA for 0652c94