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 clipboard

May 18, 2020

Commits

Commits on May 18, 2020

• Add `FnDef` and `FnDefId` to chalk-ir

  nathanwhit

  committed
  9bce539

  Copy full SHA for 9bce539

• Track `FnDef` information in databases

  nathanwhit

  committed
  768e7a2

  Copy full SHA for 768e7a2

• Implement program clause generation for `FnDef`

  nathanwhit

  committed
  4e0f1e2

  Copy full SHA for 4e0f1e2

• Basic parsing of `FnDef`s

  nathanwhit

  committed
  cc4d257

  Copy full SHA for cc4d257

• Implement lowering for `FnDef`

  nathanwhit

  committed
  19d4430

  Copy full SHA for 19d4430

• Add basic lowering and WF tests for `FnDef`s

  nathanwhit

  committed
  126bfb6

  Copy full SHA for 126bfb6

• Add test for `FnDef` implied bounds

  nathanwhit

  committed
  1918c3b

  Copy full SHA for 1918c3b

• Refactor/clean up program clause generation

  Show description for 7856f3f
  nathanwhit

  committed
  7856f3f

  Copy full SHA for 7856f3f

• Remove unused `FnDefFlag` structs

  nathanwhit

  committed
  d267a40

  Copy full SHA for d267a40

• Clean up and document program clause generation

  nathanwhit

  committed
  89e5a96

  Copy full SHA for 89e5a96

• Document chalk-rust-ir representation of `FnDef`

  nathanwhit

  committed
  4b23e07

  Copy full SHA for 4b23e07