Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Switch to new magic marks | Aleksey Kladov | 2020-05-20 | 1 | -1/+1 |
| | |||||
* | Allow calling dyn trait super trait methods without the super trait in scope | Florian Diebold | 2020-05-16 | 1 | -0/+31 |
| | | | | | This also removes some vestiges of the old impl trait support which I think aren't currently in use. | ||||
* | Fix type of byte literals | Florian Diebold | 2020-05-08 | 1 | -6/+7 |
| | | | | They're `&[u8; N]`, not `&[u8]` (see #4374). | ||||
* | Convert tests to text-size | Aleksey Kladov | 2020-04-25 | 1 | -188/+188 |
| | |||||
* | Fix #3373 | Florian Diebold | 2020-03-01 | 1 | -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 receivers | Florian Diebold | 2020-02-29 | 1 | -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 constraints | Laurențiu Nicola | 2020-02-19 | 1 | -0/+23 |
| | |||||
* | Check that impl self type matches up with expected self type in path mode | Florian Diebold | 2020-02-14 | 1 | -0/+32 |
| | | | | Fixes #3144. | ||||
* | Change Ty::Param to contain param ID | Florian Diebold | 2020-02-07 | 1 | -1/+1 |
| | |||||
* | Fix another test | Florian Diebold | 2020-02-07 | 1 | -2/+2 |
| | |||||
* | Fix printing of function types | Florian Diebold | 2020-02-07 | 1 | -21/+21 |
| | |||||
* | Introduce our own Chalk TypeFamily, instead of using ChalkIr | Florian Diebold | 2019-12-22 | 1 | -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 bit | Florian Diebold | 2019-12-03 | 1 | -0/+1005 |