Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 10 | -100/+73 | |
* | | Merge #8406 | bors[bot] | 2021-04-09 | 2 | -19/+64 | |
|\ \ | ||||||
| * | | Improve indexing of impls | Florian Diebold | 2021-04-09 | 2 | -19/+64 | |
* | | | Fix crash on syn involving lifetimes returned by Chalk | Florian Diebold | 2021-04-09 | 3 | -6/+77 | |
|/ / | ||||||
* | | Cleanup | Florian Diebold | 2021-04-08 | 2 | -24/+19 | |
* | | Intern Variances | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
* | | Don't intern ProgramClause at all | Florian Diebold | 2021-04-08 | 1 | -2/+2 | |
* | | Intern QuantifiedWhereClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
* | | Intern ProgramClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
* | | Intern CanonicalVarKinds | Florian Diebold | 2021-04-08 | 1 | -2/+3 | |
* | | Intern consts & lifetimes | Florian Diebold | 2021-04-08 | 2 | -7/+20 | |
* | | Intern types | Florian Diebold | 2021-04-08 | 1 | -3/+7 | |
* | | Intern Substitutions | Florian Diebold | 2021-04-08 | 7 | -26/+33 | |
* | | Intern VariableKinds | Florian Diebold | 2021-04-08 | 1 | -4/+14 | |
* | | Remove unused | Florian Diebold | 2021-04-08 | 14 | -69/+20 | |
* | | Replace `make_binders` by the now equivalent `make_only_type_binders` | Florian Diebold | 2021-04-08 | 2 | -35/+22 | |
* | | Remove identity impls for ToChalk | Florian Diebold | 2021-04-08 | 4 | -215/+21 | |
* | | Fix `Canonicalized::apply_solution` | Florian Diebold | 2021-04-08 | 1 | -13/+16 | |
* | | Fix missing match arms | Florian Diebold | 2021-04-08 | 4 | -2/+20 | |
* | | Fix remaining `interned_mut` call | Florian Diebold | 2021-04-08 | 1 | -4/+6 | |
* | | Replace remaining `fold` calls | Florian Diebold | 2021-04-08 | 3 | -59/+104 | |
* | | Replace some `fold` calls | Florian Diebold | 2021-04-08 | 4 | -47/+53 | |
* | | Fix shifted_{in,out} calls | Florian Diebold | 2021-04-08 | 5 | -11/+11 | |
* | | Fix subst_prefix | Florian Diebold | 2021-04-08 | 1 | -1/+4 | |
* | | Get rid of walk_mut [not compiling] | Florian Diebold | 2021-04-08 | 1 | -272/+0 | |
* | | Fix TyBuilder methods | Florian Diebold | 2021-04-08 | 1 | -5/+5 | |
* | | Impl Fold for CallableSig | Florian Diebold | 2021-04-08 | 1 | -0/+18 | |
* | | Add HasInterner bounds | Florian Diebold | 2021-04-08 | 6 | -14/+35 | |
* | | Allow unused | Florian Diebold | 2021-04-08 | 1 | -0/+3 | |
* | | Remove obsolete Cast impls | Florian Diebold | 2021-04-08 | 1 | -47/+0 | |
* | | Make ToChalk implementations identity | Florian Diebold | 2021-04-08 | 2 | -272/+42 | |
* | | Replace all the types by their Chalk versions | Florian Diebold | 2021-04-08 | 3 | -554/+32 | |
|/ | ||||||
* | Merge #8409 | bors[bot] | 2021-04-07 | 14 | -66/+73 | |
|\ | ||||||
| * | Fix return type of Substitution::interned | Florian Diebold | 2021-04-07 | 3 | -3/+3 | |
| * | InEnvironment::new takes a reference | Florian Diebold | 2021-04-07 | 4 | -5/+5 | |
| * | Make Canonical::new a free-standing function | Florian Diebold | 2021-04-07 | 1 | -10/+12 | |
| * | Fix return type of `self_type_parameter` | Florian Diebold | 2021-04-07 | 4 | -10/+10 | |
| * | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 10 | -18/+25 | |
| * | Change TraitRef::hir_fmt_ext to free-standing function | Florian Diebold | 2021-04-07 | 1 | -20/+18 | |
* | | Move `equals_ctor` to `TyExt` | Florian Diebold | 2021-04-07 | 3 | -33/+37 | |
|/ | ||||||
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 4 | -41/+24 | |
* | Free Ty::def_crates | Lukas Wirth | 2021-04-07 | 1 | -54/+52 | |
* | Move Ty::builtin_deref | Lukas Wirth | 2021-04-07 | 2 | -9/+9 | |
* | Merge #8394 | bors[bot] | 2021-04-07 | 2 | -33/+70 | |
|\ | ||||||
| * | Infer variants through type aliased enums | Lukas Wirth | 2021-04-07 | 2 | -33/+70 | |
* | | Collect trait impls inside unnamed consts | Jonas Schievink | 2021-04-07 | 2 | -19/+57 | |
* | | Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk | Florian Diebold | 2021-04-06 | 6 | -29/+49 | |
* | | Align `InferenceVar` to Chalk | Florian Diebold | 2021-04-06 | 4 | -34/+48 | |
* | | Clean up Chalk mapping a bit | Florian Diebold | 2021-04-06 | 1 | -69/+37 | |
* | | infer: remove `record_pat_field_resolutions` field | Jonas Schievink | 2021-04-06 | 2 | -11/+1 | |
|/ |