Code

Add FnDef to TypeName#449

Code

Merged

nikomatsakis merged 11 commits intorust-lang:masterrust-lang/chalk:masterfrom nathanwhit:typename-fndefnathanwhit/chalk:typename-fndefCopy head branch name to clipboardMay 18, 2020

+523-62

Commits

Commits on May 18, 2020

• Add FnDef and FnDefId to chalk-ir

  nathanwhit

  committed
  9bce539

• Track FnDef information in databases

  nathanwhit

  committed
  768e7a2

• Implement program clause generation for FnDef

  nathanwhit

  committed
  4e0f1e2

• Basic parsing of FnDefs

  nathanwhit

  committed
  cc4d257

• Implement lowering for FnDef

  nathanwhit

  committed
  19d4430

• Add basic lowering and WF tests for FnDefs

  nathanwhit

  committed
  126bfb6

• Add test for FnDef implied bounds

  nathanwhit

  committed
  1918c3b

• Refactor/clean up program clause generation

  Show description for 7856f3f
  nathanwhit

  committed
  7856f3f

• Remove unused FnDefFlag structs

  nathanwhit

  committed
  d267a40

• Clean up and document program clause generation

  nathanwhit

  committed
  89e5a96

• Document chalk-rust-ir representation of FnDef

  nathanwhit

  committed
  4b23e07