aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests/regression.rs
Commit message (Collapse)AuthorAgeFilesLines
* Shift bound variables correctly when using assoc type shorthandFlorian Diebold2020-06-191-0/+91
| | | | | Fixes #4885. Fixes #4800.
* Use correct substs for super trait assoc typesFlorian Diebold2020-06-191-0/+28
| | | | | | | | When referring to an associated type of a super trait, we used the substs of the subtrait. That led to the #4931 crash if the subtrait had less parameters, but it could also lead to other incorrectness if just the order was different. Fixes #4931.
* Fix substs in resolve_value_path for ImplSelfVincent Rouillé2020-06-191-0/+32
| | | | Fixes #4953.
* Switch to new magic marksAleksey Kladov2020-05-201-8/+7
|
* Create LowerCtx on the flyEdwin Cheng2020-05-171-0/+31
|
* Add test for issueEdwin Cheng2020-05-041-0/+29
|
* Convert tests to text-sizeAleksey Kladov2020-04-251-139/+139
|
* Fix wrong substitution codeFlorian Diebold2020-04-231-0/+41
| | | | | | | We need to shift in when we're substituting inside a binder. This should fix #4053 (it doesn't fix the occasional overflow that also occurs on the Diesel codebase though).
* fix panic on ellipsis in patternJosh Mcguigan2020-04-171-0/+49
|
* Handle `Self::Type` in trait definitions when referring to own associated typeFlorian Diebold2020-04-131-2/+1
| | | | It was implemented for other generic parameters for the trait, but not for `Self`.
* Hide unit fn return typesLaurențiu Nicola2020-04-051-1/+1
|
* Add inference for literal and range patternsFlorian Diebold2020-04-011-1/+2
|
* Move test to hir_tyEdwin Cheng2020-03-211-0/+31
|
* Fix printing of function typesFlorian Diebold2020-02-071-1/+1
|
* Standard formatting for array typesAleksey Kladov2020-01-281-4/+4
|
* Fix various names, e.g. Iterator not resolving in core preludeFlorian Diebold2020-01-111-0/+54
| | | | | | | | | | | | | Basically, `Iterator` is re-exported via several steps, which happened to not be resolved yet when we got to the prelude import, but since the name resolved to the reexport from `core::iter` (just to no actual items), we gave up trying to resolve it further. Maybe part of the problem is that we can have `PartialResolvedImport::Unresolved` or `PartialResolvedImport::Indeterminate` with `None` in all namespaces, and handle them differently. Fixes #2683.
* Expand PAREN_EXPR as expressionEdwin Cheng2020-01-101-0/+17
|
* Fix #2705Florian Diebold2020-01-031-0/+17
| | | | | | | | The `-` turned into a `+` during a refactoring. The original issue was caused by `Read` resolving wrongly to a trait without type parameters instead of a struct with one parameter; this only fixes the crash, not the wrong resolution.
* Don't add non-impl/trait containers to scopeAleksey Kladov2019-12-291-1/+35
|
* Split up ty tests a bitFlorian Diebold2019-12-031-0/+333