Code

Add built-in support for Fn* traits#475

Code

Closed

nathanwhit wants to merge 4 commits intorust-lang:masterrust-lang/chalk:masterfrom nathanwhit:fn-traitsnathanwhit/chalk:fn-traitsCopy head branch name to clipboard

+152-4

Commits

Commits on May 25, 2020

• Add Fn* traits and generate clauses for fn ptrs

  nathanwhit

  committed
  31d5985

• WF goals for Fn* traits

  nathanwhit

  committed
  07435dd

• Parse and lower Fn* traits

  nathanwhit

  committed
  b8ef36c

• Add tests for fn ptrs implementing Fn* traits

  nathanwhit

  committed
  de78d7e