Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Don't recheck obligations if we have learned nothing new | Florian Diebold | 2021-04-01 | 1 | -1/+1 |
* | hir_ty: introduce visible_from_module param into method resolution | cynecx | 2021-03-20 | 1 | -0/+1 |
* | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -4/+8 |
* | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -5/+7 |
* | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -10/+10 |
* | Move type lowering methods to TyLoweringContext | Florian Diebold | 2021-03-13 | 1 | -5/+5 |
* | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 1 | -1/+1 |
* | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
* | Stop using `ContainerId` in `AssocContainerId` | Jonas Schievink | 2021-03-09 | 1 | -1/+1 |
* | Add ConstParams to the HIR | Lukas Wirth | 2021-01-01 | 1 | -0/+1 |
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+287 |