Code

[WIP] some mir typeck cleanup#95763

Code

Closed

lcnr wants to merge 6 commits intorust-lang:masterrust-lang/rust:masterfrom lcnr:mir-typecklcnr/rust:mir-typeckCopy head branch name to clipboard

+209-270

Commits

Commits on Apr 7, 2022

• small mir typeck cleanup

  lcnr

  committed
  3518a5c

  Copy full SHA for 3518a5c

• move type_check_internal into type_check

  lcnr

  committed
  f7638f2

  Copy full SHA for f7638f2

• TypeVerifier: remove error_reported

  lcnr

  committed
  1b77f62

  Copy full SHA for 1b77f62

• const_evaluatable_unchecked: always point to the const

  lcnr

  committed
  855e024

  Copy full SHA for 855e024

• require all locals to be well formed when used in a place

  lcnr

  committed
  c076be2

  Copy full SHA for c076be2

• require that all constants are wf

  lcnr

  committed
  38b5a0a

  Copy full SHA for 38b5a0a