Code

Check hidden types in dead code#102700

Code

Merged

bors merged 7 commits intorust-lang:masterrust-lang/rust:masterfrom oli-obk:0xDEAD_TAIToli-obk/rust:0xDEAD_TAITCopy head branch name to clipboardOct 14, 2022

+387-319

Commits

Commits on Oct 7, 2022

• Unconditionally encode hidden types in typeck results

  oli-obk

  committed
  5d15beb

  Copy full SHA for 5d15beb

• Remove some dead code

  oli-obk

  committed
  d643ae1

  Copy full SHA for d643ae1

• Move ReverseMapper logic onto OpaqueHiddenType

  oli-obk

  committed
  9eb69e8

  Copy full SHA for 9eb69e8

• Remap hidden types from typeck before storing them in the TypeckResult

  oli-obk

  committed
  70d39ab

  Copy full SHA for 70d39ab

• Check hidden types in dead code

  oli-obk

  committed
  f85d3a7

  Copy full SHA for f85d3a7

• Add a regression test

  oli-obk

  committed
  e07f36c

  Copy full SHA for e07f36c

• typeck result is now affected by opaque type spans

  oli-obk

  committed
  3c8b46c

  Copy full SHA for 3c8b46c