| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -1/+1 |
| * | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 1 | -1/+2 |
| * | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -1/+3 |
| * | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -3/+4 |
| * | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -3/+3 |
| * | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 1 | -2/+2 |
| * | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| * | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| * | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 1 | -4/+1 |
| * | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| * | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 1 | -12/+4 |
| * | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -2/+2 |
| * | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -3/+3 |
| * | 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 |
