| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Clean up visibilities | Florian Diebold | 2021-05-21 | 1 | -10/+10 |
| * | Some remaining cleanups | Florian Diebold | 2021-05-21 | 2 | -14/+13 |
| * | Record type mismatches for failed coercions in match etc. | Florian Diebold | 2021-05-21 | 2 | -15/+21 |
| * | Refactor expectation handling | Florian Diebold | 2021-05-21 | 2 | -34/+49 |
| * | Remove TypeVariableTable | Florian Diebold | 2021-05-21 | 2 | -56/+48 |
| * | Deal with goals arising from unification | Florian Diebold | 2021-05-21 | 2 | -14/+17 |
| * | Get rid of resolve_ty_as_possible | Florian Diebold | 2021-05-21 | 5 | -62/+30 |
| * | Make resolve_ty_shallow return Ty | Florian Diebold | 2021-05-21 | 2 | -11/+6 |
| * | Rework obligation handling | Florian Diebold | 2021-05-21 | 4 | -31/+157 |
| * | Fix another panic | Florian Diebold | 2021-05-21 | 1 | -17/+15 |
| * | Fix panic | Florian Diebold | 2021-05-21 | 1 | -1/+4 |
| * | Fix HIR expecting errors to unify with anything | Florian Diebold | 2021-05-21 | 1 | -2/+6 |
| * | Fix if/else coercion | Florian Diebold | 2021-05-21 | 1 | -1/+4 |
| * | Make diverging type variables work again | Florian Diebold | 2021-05-21 | 1 | -0/+20 |
| * | Fix handling of diverging branches in match coercion | Florian Diebold | 2021-05-21 | 1 | -4/+13 |
| * | Fix coercion of two closures to a function pointer | Florian Diebold | 2021-05-21 | 1 | -19/+31 |
| * | Update tests with expected changes | Florian Diebold | 2021-05-21 | 1 | -3/+0 |
| * | Make type resolver a proper folder, make it resolve consts as well | Florian Diebold | 2021-05-21 | 1 | -48/+117 |
| * | Fix fallback to bound vars in `unify` | Florian Diebold | 2021-05-21 | 1 | -45/+78 |
| * | Temporary fix for unknown expectations | Florian Diebold | 2021-05-21 | 1 | -0/+4 |
| * | Fix warnings & format | Florian Diebold | 2021-05-21 | 2 | -17/+8 |
| * | Rewrite coercion using the new unification | Florian Diebold | 2021-05-21 | 2 | -96/+342 |
| * | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 4 | -414/+109 |
| * | internal: Record mismatches of pattern types. | Dawer | 2021-05-19 | 2 | -6/+10 |
| * | Merge #8813 | bors[bot] | 2021-05-16 | 1 | -20/+12 |
| |\ | |||||
| | * | Address final feedback | Jade | 2021-05-16 | 1 | -3/+2 |
| | * | Add more tests, refactor array lengths/consteval work | Jade | 2021-05-14 | 1 | -33/+8 |
| | * | Add support for lengths in array repeats, if they are literals | Jade | 2021-05-13 | 1 | -6/+16 |
| | * | Support length for ByteStrings | Jade | 2021-05-13 | 1 | -6/+14 |
| | * | Add lowering of array lengths in types | Jade | 2021-05-13 | 1 | -4/+4 |
| * | | Fix false positive "Missing match arm". | Dawer | 2021-05-14 | 1 | -4/+5 |
| |/ | |||||
| * | Merge #8799 | bors[bot] | 2021-05-12 | 1 | -6/+20 |
| |\ | |||||
| | * | address review by @eddyb | Jade | 2021-05-11 | 1 | -1/+1 |
| | * | Add basic support for array lengths in types | Jade | 2021-05-11 | 1 | -6/+20 |
| * | | Fix inference with conditionally compiled tails | Daniel McNab | 2021-05-03 | 1 | -1/+1 |
| |/ | |||||
| * | fix: closure unify without check ClosureId | Comonad | 2021-04-29 | 1 | -0/+4 |
| * | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 1 | -1/+1 |
| * | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -1/+2 |
| * | Cleanup | Florian Diebold | 2021-04-08 | 1 | -1/+5 |
| * | Intern Substitutions | Florian Diebold | 2021-04-08 | 3 | -4/+4 |
| * | Remove unused | Florian Diebold | 2021-04-08 | 3 | -4/+3 |
| * | Fix `Canonicalized::apply_solution` | Florian Diebold | 2021-04-08 | 1 | -13/+16 |
| * | Fix missing match arms | Florian Diebold | 2021-04-08 | 1 | -0/+1 |
| * | Fix remaining `interned_mut` call | Florian Diebold | 2021-04-08 | 1 | -4/+6 |
| * | Replace remaining `fold` calls | Florian Diebold | 2021-04-08 | 1 | -49/+62 |
| * | Replace some `fold` calls | Florian Diebold | 2021-04-08 | 1 | -15/+4 |
| * | Fix shifted_{in,out} calls | Florian Diebold | 2021-04-08 | 1 | -1/+1 |
| * | Add HasInterner bounds | Florian Diebold | 2021-04-08 | 1 | -4/+12 |
| * | Merge #8409 | bors[bot] | 2021-04-07 | 3 | -3/+4 |
| |\ | |||||
| | * | Fix return type of Substitution::interned | Florian Diebold | 2021-04-07 | 1 | -1/+1 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |