Florian Diebold
|
7ec3b66f7a
|
Turn Obligation into something similar to chalk_ir::DomainGoal
This includes starting to make use of Chalk's `Cast` trait.
|
2021-03-20 12:47:12 +01:00 |
|
Florian Diebold
|
7a7e47eab7
|
Chalkify TraitRef
|
2021-03-18 21:53:19 +01:00 |
|
Florian Diebold
|
ce2cae45b5
|
Rename Substs -> Substitution
|
2021-03-16 17:58:17 +01:00 |
|
Florian Diebold
|
3743ede404
|
Move type lowering methods to TyLoweringContext
|
2021-03-13 22:44:36 +01:00 |
|
Florian Diebold
|
1bf6b7360c
|
Use chalk_ir::PlaceholderIndex
|
2021-03-13 19:47:34 +01:00 |
|
Florian Diebold
|
6c32bbf3ca
|
Separate Ty and TyKind like in Chalk
Currently `Ty` just wraps `TyKind`, but this allows us to change most
places to already use `intern` / `interned`.
|
2021-03-13 16:17:15 +01:00 |
|
Jonas Schievink
|
a430549aa6
|
Stop using ContainerId in AssocContainerId
|
2021-03-09 18:27:23 +01:00 |
|
Lukas Wirth
|
0acdb73076
|
Add ConstParams to the HIR
|
2021-01-01 10:06:42 +01:00 |
|
Aleksey Kladov
|
6a77ec7bbe
|
Rename ra_hir_ty -> hir_ty
|
2020-08-13 16:35:29 +02:00 |
|