aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Collapse)AuthorAgeFilesLines
* Enable generation of non-exhaustiveness witnessesDawer2021-05-313-13/+76
|
* Update match checking.Dawer2021-05-315-1/+1470
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fn is_useful , more skeletons Specify a lifetime on pattern references impl PatStack fill impl Matrix PatStack::pop_head_constructor Index-based approach struct PatCtxt fields construction fn Fields::wildcards split wildcard fn Constructor::is_covered_by_any(..) fn Matrix::specialize_constructor(..) impl Usefulness Initial work on witness construction Reorganize files Replace match checking diagnostic Handle types of expanded patterns unit match checking go brrr
* minor: it's Parameter, not ArgumentAleksey Kladov2021-05-312-5/+5
|
* fix: avoid panics in match case diagnosticAleksey Kladov2021-05-311-108/+33
|
* Merge #8866bors[bot]2021-05-312-2/+2
|\ | | | | | | | | | | | | | | 8866: Update salsa r=matklad a=jonas-schievink This updates salsa to include https://github.com/salsa-rs/salsa/pull/265, and removes all cancellation-related code from rust-analyzer Co-authored-by: Jonas Schievink <[email protected]>
| * Update salsaJonas Schievink2021-05-272-2/+2
| |
* | hir_ty: don't pass where clauses of associated types down to chalk (temp. ↵cynecx2021-05-302-11/+28
| | | | | | | | fix #9052)
* | 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
|\ | | | | | | | | | | | | | | 9007: Internal: `clippy::redundant_clone` fixes r=lnicola a=lnicola bors r+ Co-authored-by: Laurențiu Nicola <[email protected]>
| * clippy::redundant_clone fixesLaurențiu Nicola2021-05-263-17/+15
| |
* | Merge #8973bors[bot]2021-05-257-15/+125
|\ \ | | | | | | | | | | | | | | | | | | | | | 8973: internal: move diagnostics to hir r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | internal: move diagnostics to hirAleksey Kladov2021-05-257-15/+125
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The idea here is to eventually get rid of `dyn Diagnostic` and `DiagnosticSink` infrastructure altogether, and just have a `enum hir::Diagnostic` instead. The problem with `dyn Diagnostic` is that it is defined in the lowest level of the stack (hir_expand), but is used by the highest level (ide). As a first step, we free hir_expand and hir_def from `dyn Diagnostic` and kick the can up to `hir_ty`, as an intermediate state. The plan is then to move DiagnosticSink similarly to the hir crate, and, as final third step, remove its usage from the ide. One currently unsolved problem is testing. You can notice that the test which checks precise diagnostic ranges, unresolved_import_in_use_tree, was moved to the ide layer. Logically, only IDE should have the infra to render a specific range. At the same time, the range is determined with the data produced in hir_def and hir crates, so this layering is rather unfortunate. Working on hir_def shouldn't require compiling `ide` for testing.
* | | Consider trait to be in scope for trait-implLukas Wirth2021-05-252-0/+32
| | |
* | | Merge #8987bors[bot]2021-05-252-4/+28
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8987: Fix lowering of FnOnce() without return type r=flodiebold a=flodiebold This should result in an implicit `-> ()`, not leaving out the binding. Co-authored-by: Florian Diebold <[email protected]>
| * | | Hide `-> ()` in Fn traitsFlorian Diebold2021-05-252-5/+7
| | | |
| * | | Fix lowering of FnOnce() without return typeFlorian Diebold2021-05-251-5/+27
| |/ / | | | | | | | | | This should result in an implicit `-> ()`, not leaving out the binding.
* / / 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
|/ | | | | | MacroStmts should be completely transparent, but it prevented coercion. (I should maybe give `infer_expr` and `infer_expr_inner` better names.)
* internal: rename hypothetical -> speculativeAleksey Kladov2021-05-241-1/+1
| | | | | Lets steal this good naming from Roslyn before I forget about it yet again.
* internal: intern `TypeBound`sJonas Schievink2021-05-242-1/+9
| | | | | Doesn't save much memory (~2 mb), but interning things is generally a good pattern to follow
* 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
| | | | | | | | Chalk's unification can sometimes create lifetime variables, which we currently don't really deal with, but at least we don't want to leak them outside of inference. Should fix #8919.
* 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
| | | | So as to not use `TyKind::Error` as "no expectation".
* 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
| | | | Instead use shallow resolving where necessary.
* Make resolve_ty_shallow return TyFlorian Diebold2021-05-213-14/+7
|
* Rework obligation handlingFlorian Diebold2021-05-2110-139/+234
| | | | | | | | We can't do the easy hack that we did before anymore, where we kept track of whether any inference variables changed since the last time we rechecked obligations. Instead, we store the obligations in canonicalized form; that way we can easily check the inference variables to see whether they have changed since the goal was canonicalized.
* 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
| | | | | Chalk doesn't know about the `diverging` flag, so we need to instead propagate it before fully resolving the variables.
* Fix handling of diverging branches in match coercionFlorian Diebold2021-05-212-4/+52
| | | | Fixes #7626.
* Fix coercion of two closures to a function pointerFlorian Diebold2021-05-214-56/+48
| | | | Fixes #8604.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-11 20:08:37 +0000