Add ProjectionTerm - #745

Closed

JulianKnodt wants to merge 14 commits into

rust-lang:masterfrom

JulianKnodt:add_term

Commits on Apr 23, 2022

Initial changes to rename proj type to term
JulianKnodt
committed
a9e453e

Commits on May 2, 2022

Add associated consts to parsing
JulianKnodt
committed
7a4bd7f
Continue adding associated consts
JulianKnodt
committed
8075c30
Add const eq where clauses
JulianKnodt
committed
9586104

Commits on May 7, 2022

Add ConstEq to many match cases
JulianKnodt
committed
78f535a

Commits on Jun 3, 2022

Continue adding associated term
JulianKnodt
committed
073f7b8
Replace AliasEq::Ty w/ AliasEq::Term
JulianKnodt
committed
082fe94
Fix tests
JulianKnodt
committed
eedf4c2
Add const defns in trait defn
JulianKnodt
committed
e85c516

Commits on Jun 4, 2022

Complete assoc const lowering
JulianKnodt
committed
75e5e25
Fix accounting test
JulianKnodt
committed
01c5c73
Fix test compilation
JulianKnodt
committed
bdb4336
Add temporary incorrect value
JulianKnodt
committed
0314a1f
Add associated term values
JulianKnodt
committed
cedba56