Code

Implement GATs, step 2#119

Code

Merged

tmandry merged 3 commits intorust-lang:masterrust-lang/chalk:masterfrom tmandry:GAT-step2tmandry/chalk:GAT-step2Copy head branch name to clipboardMay 9, 2018

+97-33

Commits

Commits on May 7, 2018

• Refactor LowerWhereClause for multiple domain goals

  tmandry

  committed
  869ff06

  Copy full SHA for 869ff06

Commits on May 8, 2018

• Refactor LowerClause to permit multiple clauses

  tmandry

  committed
  a532519

  Copy full SHA for a532519

Commits on May 9, 2018

• Handle multiple leaf goals in LowerGoal

  tmandry

  committed
  f709901

  Copy full SHA for f709901