aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Expand)AuthorAgeFilesLines
* 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
* Merge #8902bors[bot]2021-05-201-3/+6
|\
| * Fix code completion not inserting borrow text when client supports InsertAndR...Lukas Tobias Wirth2021-05-201-3/+6
* | Support `#[register_attr]` and `#[register_tool]`Jonas Schievink2021-05-203-32/+94
* | Rename `ignore_attrs_on` to `skip_attrs`Jonas Schievink2021-05-201-6/+6
* | SimplifyJonas Schievink2021-05-201-4/+2
* | Merge #8898bors[bot]2021-05-202-75/+141
|\ \
| * | Refactor name resolution to resolve derive helpersJonas Schievink2021-05-202-85/+135
| * | Rename `unexpanded_macros` to `unresolved_macros`Jonas Schievink2021-05-201-15/+31
* | | Merge #8897bors[bot]2021-05-204-6/+74
|\ \ \
| * | | Don't compare ast::Visibility by stringifyingLukas Tobias Wirth2021-05-204-6/+74
| | |/ | |/|
* / | Update outdated auto-import documentationLukas Tobias Wirth2021-05-201-9/+8
|/ /
* | Merge #8873bors[bot]2021-05-208-39/+291
|\ \ | |/ |/|
| * Check for differing attributes in granularity guessingLukas Tobias Wirth2021-05-203-7/+21
| * Replace ImportGranularity::Guess with guessing boolean flagLukas Tobias Wirth2021-05-198-28/+206
| * Add ImportGranularity::GuessLukas Tobias Wirth2021-05-182-14/+8
| * Implement import-granularity guessingLukas Tobias Wirth2021-05-181-2/+33
| * MergeBehavior -> ImportGranularityLukas Tobias Wirth2021-05-187-30/+65
* | Track in-scope derive helpers during nameresJonas Schievink2021-05-192-9/+27
* | Fix unresolved attribute fallback againJonas Schievink2021-05-192-4/+33
| |
| \
*-. \ Merge #8885 #8887bors[bot]2021-05-1911-281/+193
|\ \ \
| | * | Fix derive collection after unresolved attribute fallbackJonas Schievink2021-05-192-2/+26
| |/ / |/| |
* | | Merge #8884bors[bot]2021-05-191-5/+20
|\ \ \
| * | | add_explicit_type respects `@` patternsDawer2021-05-191-5/+20
| | * | Clarify field nameJonas Schievink2021-05-194-6/+6
| | * | Simplify eager macro representationJonas Schievink2021-05-1910-279/+167
| |/ / |/| |
* | | Merge #8875bors[bot]2021-05-197-13/+123
|\ \ \