aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests/method_resolution.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix #3373Florian Diebold2020-03-011-0/+19
| | | | | | | Basically, we need to allow variables in the caller self type to unify with the impl's declared self type. That requires some more contortions in the variable handling. I'm looking forward to (hopefully) handling this in a cleaner way when we switch to Chalk's types and unification code.
* Do array unsizing for method receiversFlorian Diebold2020-02-291-0/+18
| | | | | | | It turns out rustc actually only unsizes array method receivers, so we don't need to do any trait solving for this (at least for now). Fixes #2670.
* Exclude methods from non-parameter types introduced by generic constraintsLaurențiu Nicola2020-02-191-0/+23
|
* Check that impl self type matches up with expected self type in path modeFlorian Diebold2020-02-141-0/+32
| | | | Fixes #3144.
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-1/+1
|
* Fix another testFlorian Diebold2020-02-071-2/+2
|
* Fix printing of function typesFlorian Diebold2020-02-071-21/+21
|
* Introduce our own Chalk TypeFamily, instead of using ChalkIrFlorian Diebold2019-12-221-2/+2
| | | | | | It's not very different, except we can directly use Salsa IDs instead of casting them. This means we need to refactor the handling of errors to get rid of UNKNOWN_TRAIT though.
* Split up ty tests a bitFlorian Diebold2019-12-031-0/+1005