Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Record method call substs and use them in call info | Florian Diebold | 2021-05-23 | 2 | -18/+23 |
* | 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 | 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 |