Code

Add DiscriminantKind builtin trait#633

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/chalk:masterfrom basil-cow:discriminant_kindbasil-cow/chalk:discriminant_kindCopy head branch name to clipboardDec 10, 2020

+447-81

Commits

Commits on Dec 9, 2020

• impl DiscriminantKind for all types

  

  basil-cow

  authored and

  jackh726

  committed
  0a3fc29

  Copy full SHA for 0a3fc29

• add discriminant repr and DiscriminantKind assoc type

  

  basil-cow

  authored and

  jackh726

  committed
  39650c4

  Copy full SHA for 39650c4

• add comments to tests

  

  basil-cow

  authored and

  jackh726

  committed
  9c61010

  Copy full SHA for 9c61010

• Flounder instead of no solution when we can't find the discriminant

  jackh726

  committed
  fc05789

  Copy full SHA for fc05789