| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Don't unify within a reference | Florian Diebold | 2019-12-06 | 1 | -0/+26 |
| | | | | | | | | If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches. | ||||
| * | Simplify test | Aleksey Kladov | 2019-12-05 | 1 | -13/+10 |
| | | |||||
| * | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 1 | -4902/+6 |
| | | |||||
| * | Fix #2467 | Florian Diebold | 2019-12-03 | 1 | -0/+47 |
| | | | | | | The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)... | ||||
| * | Add tests for checking the impl self type | Florian Diebold | 2019-12-02 | 1 | -0/+14 |
| | | |||||
| * | Refactor a bit | Florian Diebold | 2019-12-02 | 1 | -0/+15 |
| | | |||||
| * | Change order of calls to get method candidate order correct | Florian Diebold | 2019-12-02 | 1 | -2/+0 |
| | | |||||
| * | Merge #2455 | bors[bot] | 2019-12-01 | 1 | -0/+36 |
| |\ | | | | | | | | | | | | | | | | | | | 2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions. cc @flodiebold Co-authored-by: Edwin Cheng <[email protected]> | ||||
| | * | Add BuiltinShadowMode | Edwin Cheng | 2019-11-30 | 1 | -0/+36 |
| | | | |||||
| * | | Add cycle recovery for type aliases | Florian Diebold | 2019-11-30 | 1 | -2/+4 |
| | | | |||||
| * | | Add cycle recovery for generic predicates | Florian Diebold | 2019-11-30 | 1 | -8/+0 |
| | | | |||||
| * | | Handle cycles in impl types better | Florian Diebold | 2019-11-30 | 1 | -0/+42 |
| | | | | | | | | | | | | | - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now | ||||
| * | | Infer range types | oxalica | 2019-11-28 | 1 | -0/+50 |
| |/ | |||||
| * | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 1 | -2/+2 |
| | | |||||
| * | Rename module_id -> local_id | Aleksey Kladov | 2019-11-27 | 1 | -5/+5 |
| | | |||||
| * | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -0/+4958 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |