Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix primitive shadowing with inner items | Jonas Schievink | 2021-04-16 | 1 | -0/+18 |
* | Profile trait solving for all invocations | Kirill Bulatov | 2021-04-14 | 2 | -5/+19 |
* | Better places for spans | Kirill Bulatov | 2021-04-14 | 1 | -2/+1 |
* | We need to go deeper | Kirill Bulatov | 2021-04-14 | 1 | -1/+5 |
* | Add a missing span | Kirill Bulatov | 2021-04-14 | 1 | -0/+2 |
* | decl_check: follow test style guide | Jonas Schievink | 2021-04-13 | 1 | -60/+59 |
* | Merge #8432 | bors[bot] | 2021-04-13 | 1 | -14/+140 |
|\ | |||||
| * | address review feedback | Jade | 2021-04-13 | 1 | -21/+35 |
| * | decl_check: consider outer scopes' allows | Jade | 2021-04-08 | 1 | -10/+122 |
* | | Remove assertion in impl collection | Florian Diebold | 2021-04-11 | 1 | -4/+3 |
* | | Merge #8465 | bors[bot] | 2021-04-11 | 1 | -3/+3 |
|\ \ | |||||
| * | | Include more info in assert | Jonas Schievink | 2021-04-11 | 1 | -3/+3 |
* | | | Support macros in pattern position | Jonas Schievink | 2021-04-11 | 2 | -2/+28 |
|/ / | |||||
* | | Respect test style guidelines in tests::traits | Lukas Wirth | 2021-04-10 | 1 | -698/+656 |
* | | Add test for binary op return ty with adt | Lukas Wirth | 2021-04-10 | 1 | -0/+47 |
* | | Add manual ops::Add impls to test::traits::closure_2 | Lukas Wirth | 2021-04-10 | 1 | -20/+46 |
* | | Implement more precise binary op return type prediction | Lukas Wirth | 2021-04-10 | 2 | -17/+51 |
* | | Resolve prelude and crate root names in the root DefMap | Jonas Schievink | 2021-04-09 | 1 | -0/+30 |
* | | More cleanups / module docs | Florian Diebold | 2021-04-09 | 6 | -10/+12 |
* | | More cleanups | Florian Diebold | 2021-04-09 | 3 | -38/+29 |
* | | More moving stuff around | Florian Diebold | 2021-04-09 | 4 | -78/+74 |
* | | Move some more stuff to better places | Florian Diebold | 2021-04-09 | 2 | -100/+93 |
* | | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 10 | -37/+76 |
* | | 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 |