Code

Better typeck divergence#50262

Code

Closed

varkor wants to merge 19 commits intorust-lang:masterrust-lang/rust:masterfrom

varkor:better-divergencevarkor/rust:better-divergenceCopy head branch name to clipboard

Commits

Commits on Jul 23, 2018

• Add Diverges::UnwarnedAlways

  varkor

  committed
  969542c

  Copy full SHA for 969542c

• Functions with uninhabited parameters diverge

  varkor

  committed
  2e9b296

  Copy full SHA for 2e9b296

• Use conservative_is_uninhabited instead of is_never where possible

  varkor

  committed
  02f3b8f

  Copy full SHA for 02f3b8f

• Special-case no-arm matches

  varkor

  committed
  39313bb

  Copy full SHA for 39313bb

• Update test to account for uninhabitedness of tuples

  varkor

  committed
  e61cccf

  Copy full SHA for e61cccf

• Take account of TyArray uninhabitedness

  varkor

  committed
  ca5afd8

  Copy full SHA for ca5afd8

• Improve the documentation of Diverges

  varkor

  committed
  2e23d8d

  Copy full SHA for 2e23d8d

• Update test to account for uninhabitedness of arrays

  varkor

  committed
  d485cc4

  Copy full SHA for d485cc4

• Add a feature gate for the improved divergence behaviour

  varkor

  committed
  9d4b466

  Copy full SHA for 9d4b466

• Add tests for better_divergence_checking feature gate

  varkor

  committed
  30b1942

  Copy full SHA for 30b1942

• Fix the nil-enum test

  varkor

  committed
  a778a73

  Copy full SHA for a778a73

• Fix a typo in the feature gate

  varkor

  committed
  e7dc075

  Copy full SHA for e7dc075

• Remove additions to conservative_is_uninhabited

  varkor

  committed
  c07fcd8

  Copy full SHA for c07fcd8

• Replace better_divergence_checking feature flag with exhaustive_patterns

  varkor

  committed
  3daf17c

  Copy full SHA for 3daf17c

• Fix unreachable-try-patterns

  varkor

  committed
  38c3e0d

  Copy full SHA for 38c3e0d

• Empty diverging functions do not warn

  varkor

  committed
  b80a490

  Copy full SHA for b80a490

• ExprBlocks now have a label field

  varkor

  committed
  5efa7c9

  Copy full SHA for 5efa7c9

• Fix rebase issues

  varkor

  committed
  b9ea715

  Copy full SHA for b9ea715

• Fix issues in comments

  varkor

  committed
  168d2a3

  Copy full SHA for 168d2a3