aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Expand)AuthorAgeFilesLines
* Render where clauses and more generic paramsJonas Schievink2021-05-232-34/+155
* Pretty-print generic parametersJonas Schievink2021-05-232-22/+99
* ItemTree: pretty-print all pathsJonas Schievink2021-05-222-9/+119
* Add last remaining module docstringFlorian Diebold2021-05-221-1/+3
* Merge #8923bors[bot]2021-05-2221-34/+11
|\
| * Add even more docsAleksey Kladov2021-05-2221-34/+11
* | Merge #8922bors[bot]2021-05-2219-28/+71
|\|
| * Add more docsAleksey Kladov2021-05-2219-28/+71
* | Merge #8868bors[bot]2021-05-228-282/+192
|\|
| * use more precise nameAleksey Kladov2021-05-223-12/+7
| * internal: replace AstTransformer with mutable syntax treesAleksey Kladov2021-05-226-208/+123
* | Merge #8921bors[bot]2021-05-221-1/+13
|\ \
| * | Resolve any lifetime variables to 'static after inferenceFlorian Diebold2021-05-221-1/+13
| |/
* | Merge #8901bors[bot]2021-05-222-27/+75
|\ \ | |/ |/|
| * Test `fill_match_arms` for lazy computation.Dawer2021-05-212-3/+38
| * fix: `fill_match_arms` hangs on a tuple of large enumsDawer2021-05-201-2/+14
| * Compute missing arms lazily.Dawer2021-05-201-23/+24
* | Work around non-unique AttrIdsJonas Schievink2021-05-222-9/+39
* | Add a "Debug ItemTree" LSP requestJonas Schievink2021-05-215-0/+46
* | Add an ItemTree pretty-printerJonas Schievink2021-05-213-0/+780
* | impl Display for AttrInput/ImportAliasJonas Schievink2021-05-212-1/+19
* | Remove `StructDefKind`Jonas Schievink2021-05-213-20/+4
* | Merge #8856bors[bot]2021-05-2123-1077/+1206
|\ \
| * | Clean up visibilitiesFlorian Diebold2021-05-211-10/+10
| * | Some remaining cleanupsFlorian Diebold2021-05-213-18/+13
| * | Fix test after rebaseFlorian Diebold2021-05-211-1/+1
| * | Record type mismatches for failed coercions in match etc.Florian Diebold2021-05-212-15/+21
| * | Refactor expectation handlingFlorian Diebold2021-05-213-54/+88
| * | Remove TypeVariableTableFlorian Diebold2021-05-212-56/+48
| * | Deal with goals arising from unificationFlorian Diebold2021-05-214-18/+21
| * | Get rid of resolve_ty_as_possibleFlorian Diebold2021-05-218-88/+56
| * | Make resolve_ty_shallow return TyFlorian Diebold2021-05-213-14/+7
| * | Rework obligation handlingFlorian Diebold2021-05-2111-143/+240
| * | Fix another panicFlorian Diebold2021-05-211-17/+15
| * | Improve debug printing without TLSFlorian Diebold2021-05-212-158/+21
| * | Fix panicFlorian Diebold2021-05-211-1/+4
| * | Fix HIR expecting errors to unify with anythingFlorian Diebold2021-05-213-8/+65
| * | Fix compilation of hir and ide cratesFlorian Diebold2021-05-212-3/+3
| * | Fix if/else coercionFlorian Diebold2021-05-211-1/+4
| * | Make diverging type variables work againFlorian Diebold2021-05-212-0/+23
| * | Fix handling of diverging branches in match coercionFlorian Diebold2021-05-212-4/+52
| * | Fix coercion of two closures to a function pointerFlorian Diebold2021-05-214-56/+48
| * | Update tests with expected changesFlorian Diebold2021-05-212-40/+34
| * | Make type resolver a proper folder, make it resolve consts as wellFlorian Diebold2021-05-211-48/+117
| * | Fix fallback to bound vars in `unify`Florian Diebold2021-05-211-45/+78
| * | Better Debug impl for InternedWrapperFlorian Diebold2021-05-211-1/+7
| * | Temporary fix for unknown expectationsFlorian Diebold2021-05-212-0/+8
| * | Fix warnings & formatFlorian Diebold2021-05-213-20/+11
| * | Rewrite coercion using the new unificationFlorian Diebold2021-05-216-105/+371
| * | Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-218-438/+125