Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Fix type mismatch caused by macros | Florian Diebold | 2021-05-25 | 2 | -1/+45 | |
|/ / | ||||||
* | | internal: rename hypothetical -> speculative | Aleksey Kladov | 2021-05-24 | 1 | -1/+1 | |
* | | Merge #8963 | bors[bot] | 2021-05-24 | 1 | -3/+3 | |
|\| | ||||||
| * | Bump chalk | Laurențiu Nicola | 2021-05-24 | 1 | -3/+3 | |
* | | internal: intern `TypeBound`s | Jonas Schievink | 2021-05-24 | 2 | -1/+9 | |
|/ | ||||||
* | Record method call substs and use them in call info | Florian Diebold | 2021-05-23 | 5 | -38/+42 | |
* | Add test for #8931 and better checking | Florian Diebold | 2021-05-23 | 1 | -11/+83 | |
* | Add last remaining module docstring | Florian Diebold | 2021-05-22 | 1 | -1/+3 | |
* | Resolve any lifetime variables to 'static after inference | Florian Diebold | 2021-05-22 | 1 | -1/+13 | |
* | Clean up visibilities | Florian Diebold | 2021-05-21 | 1 | -10/+10 | |
* | Some remaining cleanups | Florian Diebold | 2021-05-21 | 3 | -18/+13 | |
* | Fix test after rebase | Florian Diebold | 2021-05-21 | 1 | -1/+1 | |
* | 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 | 3 | -54/+88 | |
* | Remove TypeVariableTable | Florian Diebold | 2021-05-21 | 2 | -56/+48 | |
* | Deal with goals arising from unification | Florian Diebold | 2021-05-21 | 4 | -18/+21 | |
* | Get rid of resolve_ty_as_possible | Florian Diebold | 2021-05-21 | 8 | -88/+56 | |
* | Make resolve_ty_shallow return Ty | Florian Diebold | 2021-05-21 | 3 | -14/+7 | |
* | Rework obligation handling | Florian Diebold | 2021-05-21 | 10 | -139/+234 | |
* | Fix another panic | Florian Diebold | 2021-05-21 | 1 | -17/+15 | |
* | Improve debug printing without TLS | Florian Diebold | 2021-05-21 | 2 | -158/+21 | |
* | Fix panic | Florian Diebold | 2021-05-21 | 1 | -1/+4 | |
* | Fix HIR expecting errors to unify with anything | Florian Diebold | 2021-05-21 | 2 | -2/+62 | |
* | Fix if/else coercion | Florian Diebold | 2021-05-21 | 1 | -1/+4 | |
* | Make diverging type variables work again | Florian Diebold | 2021-05-21 | 2 | -0/+23 | |
* | Fix handling of diverging branches in match coercion | Florian Diebold | 2021-05-21 | 2 | -4/+52 | |
* | Fix coercion of two closures to a function pointer | Florian Diebold | 2021-05-21 | 4 | -56/+48 | |
* | Update tests with expected changes | Florian Diebold | 2021-05-21 | 2 | -40/+34 | |
* | 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 | |
* | Better Debug impl for InternedWrapper | Florian Diebold | 2021-05-21 | 1 | -1/+7 | |
* | Temporary fix for unknown expectations | Florian Diebold | 2021-05-21 | 2 | -0/+8 | |
* | Fix warnings & format | Florian Diebold | 2021-05-21 | 3 | -20/+11 | |
* | Rewrite coercion using the new unification | Florian Diebold | 2021-05-21 | 6 | -105/+371 | |
* | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 8 | -438/+125 | |
* | Check patterns for type match recursively. | Dawer | 2021-05-19 | 2 | -2/+30 | |
* | internal: Record mismatches of pattern types. | Dawer | 2021-05-19 | 6 | -11/+93 | |
* | Merge #8813 | bors[bot] | 2021-05-16 | 11 | -103/+251 | |
|\ | ||||||
| * | Address final feedback | Jade | 2021-05-16 | 3 | -31/+17 | |
| * | Add more tests, refactor array lengths/consteval work | Jade | 2021-05-14 | 5 | -34/+179 | |
| * | Test lowering byte strings some more | Jade | 2021-05-13 | 1 | -14/+25 | |
| * | Add support for lengths in array repeats, if they are literals | Jade | 2021-05-13 | 2 | -7/+17 | |
| * | Support length for ByteStrings | Jade | 2021-05-13 | 2 | -8/+16 | |
| * | Add lowering of array lengths in types | Jade | 2021-05-13 | 9 | -76/+64 | |
* | | Fix false positive "Missing match arm". | Dawer | 2021-05-14 | 3 | -5/+7 | |
|/ | ||||||
* | Merge #8799 | bors[bot] | 2021-05-12 | 11 | -109/+155 | |
|\ | ||||||
| * | address review by @eddyb | Jade | 2021-05-11 | 2 | -2/+3 | |
| * | Add basic support for array lengths in types | Jade | 2021-05-11 | 11 | -109/+154 | |
* | | Merge #8398 | bors[bot] | 2021-05-11 | 3 | -2/+51 | |
|\ \ | |/ |/| | ||||||
| * | Add a test for conditionally compiled tails | Daniel McNab | 2021-05-03 | 1 | -0/+49 |