Code

Typecheck refactor for !#35787

Code

Merged

bors merged 20 commits intorust-lang:masterrust-lang/rust:masterfrom

canndrew:bang_type_refactor_checkcanndrew/rust:bang_type_refactor_checkCopy head branch name to clipboard

Sep 5, 2016

Commits

Commits on Sep 5, 2016

• Make write_ty and friends return adjusted type

  canndrew

  committed
  0ddf060

  Copy full SHA for 0ddf060

• Remove most uses of expr_ty

  canndrew

  committed
  b93435f

  Copy full SHA for b93435f

• Remove redundant error checking around ExprMethodCall

  canndrew

  committed
  c7ea3e8

  Copy full SHA for c7ea3e8

• Factor write_ty out of check_binop*

  canndrew

  committed
  06ad8fe

  Copy full SHA for 06ad8fe

• Factor write_ty out of more checking functions

  canndrew

  committed
  91b39b5

  Copy full SHA for 91b39b5

• Factor write_ty out of field/indexing methods

  canndrew

  committed
  f22dd2e

  Copy full SHA for f22dd2e

• Factor write_ty out of check_struct_expr

  canndrew

  committed
  144b8cf

  Copy full SHA for 144b8cf

• Factor write_ty out of check_expr_closure

  canndrew

  committed
  2172064

  Copy full SHA for 2172064

• Factor write_ty out of function checking functions

  canndrew

  committed
  9cd8d7a

  Copy full SHA for 9cd8d7a

• Add AdjustNeverToAny in check_expr

  canndrew

  committed
  adb19ff

  Copy full SHA for adb19ff

• Tidy

  canndrew

  committed
  1c3e8b0

  Copy full SHA for 1c3e8b0

• Tidy. Rename variables.

  canndrew

  committed
  f120c71

  Copy full SHA for f120c71

• Move check_expr match block into its own method

  canndrew

  committed
  f54c47d

  Copy full SHA for f54c47d

• check_block_with_expected returns the checked type

  canndrew

  committed
  8c6086a

  Copy full SHA for 8c6086a

• Factor write_ty out of pattern-matching functions

  canndrew

  committed
  c5ff28c

  Copy full SHA for c5ff28c

• Factor write_ty out of more pattern-checking functions

  canndrew

  committed
  1749fda

  Copy full SHA for 1749fda

• Move write_ty to the bottom of check_pat

  canndrew

  committed
  bd66148

  Copy full SHA for bd66148

• Remove use of expr_ty from coercions code

  canndrew

  committed
  180534f

  Copy full SHA for 180534f

• Undo unnecessary bookkeeping from last commit

  canndrew

  committed
  7c8f545

  Copy full SHA for 7c8f545

• Remove expr_ty method completely

  canndrew

  committed
  c9a340e

  Copy full SHA for c9a340e