aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Merge #8900bors[bot]2021-05-203-38/+100
|\ \
| * | 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
|/ /
* | Merge #8899bors[bot]2021-05-201-4/+2
|\ \
| * | 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
| | |/ | |/|
* | | Merge #8893bors[bot]2021-05-202-10/+9
|\ \ \ | |/ / |/| |
| * | Update outdated auto-import documentationLukas Tobias Wirth2021-05-202-10/+9
|/ /
* | Merge #8873bors[bot]2021-05-2010-48/+312
|\ \ | |/ |/|
| * Check for differing attributes in granularity guessingLukas Tobias Wirth2021-05-203-7/+21
| * Replace ImportGranularity::Guess with guessing boolean flagLukas Tobias Wirth2021-05-1910-33/+219
| * Add ImportGranularity::GuessLukas Tobias Wirth2021-05-183-15/+11
| * Implement import-granularity guessingLukas Tobias Wirth2021-05-181-2/+33
| * MergeBehavior -> ImportGranularityLukas Tobias Wirth2021-05-188-38/+75
* | Merge #8889bors[bot]2021-05-192-9/+27
|\ \
| * | Track in-scope derive helpers during nameresJonas Schievink2021-05-192-9/+27
|/ /
* | Merge #8888bors[bot]2021-05-192-4/+33
|\ \
| * | 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
|\ \ \
| * | | Check patterns for type match recursively.Dawer2021-05-192-2/+30
| * | | internal: Record mismatches of pattern types.Dawer2021-05-196-11/+93
| |/ /
* | | Merge #8882bors[bot]2021-05-192-28/+160
|\ \ \
| * | | Rewrite `resolve_imports` to use an iteratorJonas Schievink2021-05-191-19/+23
| * | | Restructure nameres loop to be a bit clearerJonas Schievink2021-05-191-38/+41
| * | | internal: resolve attributes in name resolutionJonas Schievink2021-05-192-3/+128
* | | | Merge #8877bors[bot]2021-05-192-12/+17
|\ \ \ \