| Commit message (Expand) | Author | Age | Files | Lines |
* | Improve indexing of impls | Florian Diebold | 2021-04-09 | 1 | -9/+21 |
* | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -1/+1 |
* | Fix missing match arms | Florian Diebold | 2021-04-08 | 1 | -1/+3 |
* | InEnvironment::new takes a reference | Florian Diebold | 2021-04-07 | 1 | -2/+2 |
* | Make Canonical::new a free-standing function | Florian Diebold | 2021-04-07 | 1 | -1/+1 |
* | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 1 | -1/+2 |
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 2 | -11/+21 |
* | Free Ty::def_crates | Lukas Wirth | 2021-04-07 | 1 | -3/+3 |
* | Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk | Florian Diebold | 2021-04-06 | 1 | -4/+4 |
* | infer: remove `record_pat_field_resolutions` field | Jonas Schievink | 2021-04-06 | 1 | -4/+8 |
* | infer: remove `record_field_resolutions` field | Jonas Schievink | 2021-04-06 | 1 | -6/+9 |
* | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -1/+1 |
* | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -2/+2 |
* | Add Lifetime to TyKind::Ref | Lukas Wirth | 2021-04-06 | 1 | -4/+8 |
* | Substitution::prefix -> subst_prefix | Florian Diebold | 2021-04-05 | 1 | -1/+2 |
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 3 | -6/+8 |
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 3 | -5/+5 |
* | Hide Binders internals more | Florian Diebold | 2021-04-05 | 2 | -4/+4 |
* | Use arrayvec 0.7 to avoid perf regression in 0.6.1 | kjeremy | 2021-04-05 | 1 | -1/+1 |
* | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 1 | -1/+1 |
* | 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 | -3/+4 |
* | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 2 | -4/+4 |
* | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -3/+2 |
* | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 1 | -16/+8 |
* | Move Ty::builtin to TyBuilder | Florian Diebold | 2021-04-04 | 1 | -2/+2 |
* | Glob-reexport hir_def database types | Jonas Schievink | 2021-04-04 | 1 | -9/+1 |
* | Use bitflags to compress function properties | Jonas Schievink | 2021-04-03 | 2 | -12/+11 |
* | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -13/+13 |
* | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -9/+22 |
* | Merge #8284 | bors[bot] | 2021-04-02 | 2 | -5/+5 |
|\ |
|
| * | Global TypeRef/TraitRef interning | Jonas Schievink | 2021-04-01 | 2 | -5/+5 |
* | | Resolve associated types with type anchors | Lukas Wirth | 2021-04-01 | 1 | -10/+19 |
* | | Resolve associated types | Lukas Wirth | 2021-04-01 | 2 | -4/+21 |
|/ |
|
* | Rename target_ty to self_ty | Lukas Wirth | 2021-03-29 | 1 | -6/+6 |
* | Lower traits to TraitRef instead of TypeRef | Lukas Wirth | 2021-03-29 | 1 | -1/+2 |
* | Unleash macro 2.0 in hightlight and more | Edwin Cheng | 2021-03-27 | 2 | -5/+2 |
* | syntax: return owned string instead of leaking string | cynecx | 2021-03-26 | 1 | -1/+1 |
* | completion relevance consider if types can be unified | Josh Mcguigan | 2021-03-26 | 1 | -1/+5 |
* | Use arrayvec 0.6 | Laurențiu Nicola | 2021-03-25 | 2 | -2/+2 |
* | Merge #7907 | bors[bot] | 2021-03-24 | 1 | -0/+2 |
|\ |
|
| * | hir: don't use the self module as visible_from in iterate_method_candidates | cynecx | 2021-03-24 | 1 | -6/+1 |
| * | hir_ty: introduce visible_from_module param into method resolution | cynecx | 2021-03-20 | 1 | -0/+7 |
* | | simplify | Lukas Wirth | 2021-03-23 | 1 | -0/+15 |
* | | Make more use of the HIR in rename::rename_to_self | Lukas Wirth | 2021-03-23 | 1 | -4/+17 |
* | | Merge hir::MacroDef::is_* into hir::MacroDef::kind | Lukas Wirth | 2021-03-23 | 1 | -14/+17 |
* | | Set up a search scope when searching for mbe macro references | Lukas Wirth | 2021-03-23 | 1 | -0/+5 |
* | | Align naming of deps and revdeps | Aleksey Kladov | 2021-03-23 | 1 | -5/+1 |
* | | Compute more mathematically well-rounded notion of transitive deps | Aleksey Kladov | 2021-03-23 | 1 | -2/+1 |