aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Expand)AuthorAgeFilesLines
* hir_ty: don't pass where clauses of associated types down to chalk (temp. fix...cynecx2021-05-302-11/+28
* Merge #9062bors[bot]2021-05-301-3/+3
|\
| * Bump depsLaurențiu Nicola2021-05-301-3/+3
* | hir_ty: use async ret type for inference inside async bodiescynecx2021-05-292-1/+56
* | Remove fragment kind knowledge from builtin macrosJonas Schievink2021-05-291-0/+18
* | Move hir_ty incremental test to its own fileJonas Schievink2021-05-272-44/+52
* | Merge #9007bors[bot]2021-05-263-17/+15
|\ \
| * | clippy::redundant_clone fixesLaurențiu Nicola2021-05-263-17/+15
* | | Merge #8973bors[bot]2021-05-257-15/+125
|\ \ \
| * | | internal: move diagnostics to hirAleksey Kladov2021-05-257-15/+125
* | | | Consider trait to be in scope for trait-implLukas Wirth2021-05-252-0/+32
* | | | Merge #8987bors[bot]2021-05-252-4/+28
|\ \ \ \
| * | | | Hide `-> ()` in Fn traitsFlorian Diebold2021-05-252-5/+7
| * | | | Fix lowering of FnOnce() without return typeFlorian Diebold2021-05-251-5/+27
| |/ / /
* / / / Fix type inference not working for new Try traitLukas Wirth2021-05-252-1/+41
|/ / /
* | | Minor test fixes / new testsFlorian Diebold2021-05-251-15/+62
* | | Fix type mismatch caused by macrosFlorian Diebold2021-05-252-1/+45
|/ /
* | internal: rename hypothetical -> speculativeAleksey Kladov2021-05-241-1/+1
* | Merge #8963bors[bot]2021-05-241-3/+3
|\|
| * Bump chalkLaurențiu Nicola2021-05-241-3/+3
* | internal: intern `TypeBound`sJonas Schievink2021-05-242-1/+9
|/
* Record method call substs and use them in call infoFlorian Diebold2021-05-235-38/+42
* Add test for #8931 and better checkingFlorian Diebold2021-05-231-11/+83
* Add last remaining module docstringFlorian Diebold2021-05-221-1/+3
* Resolve any lifetime variables to 'static after inferenceFlorian Diebold2021-05-221-1/+13
* 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-2110-139/+234
* 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-212-2/+62
* 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