| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | 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 |
| * | | Align InEnvironment with Chalk | Florian Diebold | 2021-03-21 | 2 | -78/+56 |
| * | | Align Canonical more with Chalk's version | Florian Diebold | 2021-03-21 | 1 | -13/+28 |
| * | | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 2 | -6/+2 |
| * | | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 2 | -7/+16 |
| * | | Merge #8133 | bors[bot] | 2021-03-21 | 1 | -1/+4 |
| |\ \ |
|
| | * | | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 1 | -1/+4 |
| * | | | clippy::complexity simplifications related to Iterators | Matthias Krüger | 2021-03-21 | 1 | -1/+1 |
| |/ / |
|
| * / | Track labels in scopes | Lukas Wirth | 2021-03-21 | 2 | -0/+5 |
| |/ |
|
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -5/+6 |
| * | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 1 | -6/+6 |
