| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Hide Binders internals more | Florian Diebold | 2021-04-05 | 1 | -33/+11 |
| * | Pass interner to TraitRef::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -3/+5 |
| * | Pass interner to ProjectionTy::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -3/+3 |
| * | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 1 | -2/+2 |
| * | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 1 | -1/+1 |
| * | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| * | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 1 | -680/+15 |
| * | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 1 | -7/+1 |
| * | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -26/+2 |
| * | Move TyBuilder to its own module | Florian Diebold | 2021-04-04 | 1 | -204/+10 |
| * | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 1 | -50/+16 |
| * | Remove CallableSig::from_substs | Florian Diebold | 2021-04-04 | 1 | -11/+1 |
| * | Some more TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -4/+0 |
| * | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -8/+38 |
| * | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 1 | -0/+29 |
| * | Move Ty::builtin to TyBuilder | Florian Diebold | 2021-04-04 | 1 | -17/+17 |
| * | Add TyBuilder::adt | Florian Diebold | 2021-04-04 | 1 | -5/+82 |
| * | Move Ty::fn_ptr to TyBuilder | Florian Diebold | 2021-04-04 | 1 | -7/+7 |
| * | Add TyBuilder::unit() and TyExt::is_unit() | Florian Diebold | 2021-04-04 | 1 | -5/+5 |
| * | Add TyBuilder | Florian Diebold | 2021-04-04 | 1 | -0/+6 |
| * | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -20/+20 |
| * | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -48/+125 |
| * | completion relevance consider if types can be unified | Josh Mcguigan | 2021-03-26 | 1 | -1/+1 |
| * | Fix chalk_ir assertion | Florian Diebold | 2021-03-24 | 1 | -7/+26 |
| * | Align Canonical more with Chalk's version | Florian Diebold | 2021-03-21 | 1 | -2/+10 |
| * | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -2/+5 |
| * | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 1 | -16/+57 |
| * | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 1 | -2/+11 |
| * | Test for a Salsa bug | Florian Diebold | 2021-03-21 | 1 | -0/+4 |
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -2/+5 |
| * | Remove WhereClause::Error | Florian Diebold | 2021-03-20 | 1 | -10/+1 |
| * | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 1 | -19/+19 |
| * | Replace Projection variant in GenericPredicate with AliasEq | Lukas Wirth | 2021-03-19 | 1 | -8/+41 |
| * | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -12/+27 |
| * | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -47/+47 |
| * | Use SmallVec for Substs | Florian Diebold | 2021-03-15 | 1 | -7/+20 |
| * | Don't use Substs for Ref/Raw/Array/Slice | Florian Diebold | 2021-03-14 | 1 | -49/+18 |
| * | Make Ty wrap TyKind in an Arc | Florian Diebold | 2021-03-14 | 1 | -9/+17 |
| * | More renaming | Florian Diebold | 2021-03-14 | 1 | -4/+4 |
| * | Use chalk_ir::FnSig | Florian Diebold | 2021-03-14 | 1 | -7/+6 |
| * | Rename some fields to their Chalk names | Florian Diebold | 2021-03-14 | 1 | -9/+9 |
| * | Use chalk_ir::OpaqueTyId | Florian Diebold | 2021-03-13 | 1 | -7/+9 |
| * | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 1 | -6/+25 |
| * | Use chalk_ir::ClosureId | Florian Diebold | 2021-03-13 | 1 | -8/+6 |
| * | Use chalk_ir::FnDefId | Florian Diebold | 2021-03-13 | 1 | -6/+18 |
| * | Use chalk_ir::AssocTypeId | Florian Diebold | 2021-03-13 | 1 | -9/+19 |
| * | Use chalk_ir::ForeignDefId | Florian Diebold | 2021-03-13 | 1 | -4/+16 |
| * | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -121/+155 |
| * | Use chalk_ir::AdtId | Lukas Wirth | 2021-03-04 | 1 | -8/+14 |
| * | Use chalk_ir::Mutability | Lukas Wirth | 2021-03-01 | 1 | -6/+4 |
