Code

Opaque Type Generics#464

Code

Merged

detrumi merged 4 commits intorust-lang:masterrust-lang/chalk:masterfrom

nathanwhit:opaque-ty-genericsnathanwhit/chalk:opaque-ty-genericsCopy head branch name to clipboard

May 22, 2020

Commits

Commits on May 20, 2020

• Properly lookup/lower opaque types when lowering application types

  nathanwhit

  committed
  dcba44d

  Copy full SHA for dcba44d

• Generate opaque type program clauses for alias equality goals

  nathanwhit

  committed
  24163d9

  Copy full SHA for 24163d9

• Move opaque type tests into separate module

  nathanwhit

  committed
  97a84ca

  Copy full SHA for 97a84ca

Commits on May 21, 2020

• Add basic tests for opaque type generics

  nathanwhit

  committed
  5e5e4b1

  Copy full SHA for 5e5e4b1