Code

Implement associated constants#689

Code

Closed

detrumi wants to merge 10 commits intorust-lang:masterrust-lang/chalk:masterfrom detrumi:assoc-constdetrumi/chalk:assoc-constCopy head branch name to clipboard

+746-130

Commits

Commits on Mar 10, 2021

• Add associated const to parser

  detrumi

  committed
  d1191ea

• Update lowering to check item kind

  detrumi

  committed
  66de99b

• Add datum and value structs for associated consts

  detrumi

  committed
  d86b313

• Lower associated consts

  detrumi

  committed
  3bc9f27

• Add associated_const_value

  detrumi

  committed
  6d67275

• Add associated_const_data

  detrumi

  committed
  0e6865f

• Remove unneeded program clauses code for assoc consts

  detrumi

  committed
  0b27dfd

• Add RenderAsRust impls for assoc const

  detrumi

  committed
  3206f10

Commits on Mar 11, 2021

• Add binders from trait

  detrumi

  committed
  ff4d73b

Commits on Mar 12, 2021

• Lookup assoc const names, add ConstProjection

  detrumi

  committed
  bd6cae5