Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 1 | -5/+5 |
* | Merge #1515 | bors[bot] | 2019-07-09 | 1 | -0/+79 |
|\ | |||||
| * | Use environment for associated type normalization as well | Florian Diebold | 2019-07-08 | 1 | -0/+19 |
| * | Start handling environment in trait resolution | Florian Diebold | 2019-07-08 | 1 | -0/+60 |
* | | beautify tests | Unreal Hoang | 2019-07-09 | 1 | -20/+36 |
* | | projection over std::ops::Try::Ok to infer try/? | Unreal Hoang | 2019-07-08 | 1 | -0/+37 |
|/ | |||||
* | add projection to infer for loop variable | Unreal Hoang | 2019-07-07 | 1 | -0/+36 |
* | Add trait obligations for where clauses when calling functions/methods | Florian Diebold | 2019-07-06 | 1 | -21/+113 |
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -7/+8 |
* | Add test for autoderef infinite recursion | Florian Diebold | 2019-06-16 | 1 | -0/+25 |
* | Simplifications / cleanup from review | Florian Diebold | 2019-06-16 | 1 | -1/+0 |
* | Somewhat handle variables in the derefed type, and add another test | Florian Diebold | 2019-06-15 | 1 | -0/+31 |
* | Add test for Deref | Florian Diebold | 2019-06-15 | 1 | -0/+29 |
* | remove some hacks from nameresolution for macros | Aleksey Kladov | 2019-06-08 | 1 | -2/+4 |
* | add tests for primitive types | Aleksey Kladov | 2019-05-30 | 1 | -0/+18 |
* | fix syntax errors in tests | Aleksey Kladov | 2019-05-28 | 1 | -112/+128 |
* | Add infer for generic default type | Edwin Cheng | 2019-05-19 | 1 | -0/+29 |
* | make AstId untyped | Aleksey Kladov | 2019-05-13 | 1 | -1/+1 |
* | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 1 | -0/+29 |
* | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 1 | -6/+6 |
* | Add support for inline bounds | Florian Diebold | 2019-05-11 | 1 | -0/+33 |
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 1 | -0/+29 |
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 1 | -0/+13 |
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 1 | -0/+15 |
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 1 | -3/+38 |
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 1 | -0/+1 |
* | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -1/+1 |
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 1 | -0/+26 |
* | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 1 | -0/+17 |
* | Add a simple test for str method completion | Florian Diebold | 2019-04-20 | 1 | -0/+22 |
* | Fix 1099 | Edwin Cheng | 2019-04-17 | 1 | -2/+61 |
* | Refactor method candidate generation a bit | Florian Diebold | 2019-04-14 | 1 | -0/+65 |
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -8/+43 |
* | simplify | Aleksey Kladov | 2019-04-12 | 1 | -11/+12 |
* | simplify tests | Aleksey Kladov | 2019-04-12 | 1 | -26/+13 |
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 1 | -1/+1 |
* | updated snapshots | Lenard Pratt | 2019-04-07 | 1 | -41/+41 |
* | Parse and infer tuple indices | robojumper | 2019-04-06 | 1 | -0/+59 |
* | Merge #1076 | bors[bot] | 2019-04-02 | 1 | -4/+57 |
|\ | |||||
| * | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 1 | -4/+57 |
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 1 | -8/+6 |
|/ | |||||
* | Implement a very naive implements check | Florian Diebold | 2019-03-25 | 1 | -1/+1 |
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 1 | -6/+6 |
* | test diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -0/+24 |
* | Fix apply_substs assertion failure | Florian Diebold | 2019-03-23 | 1 | -0/+23 |
* | Merge #982 | bors[bot] | 2019-03-17 | 1 | -0/+54 |
|\ | |||||
| * | Split test case and use tested_by!. | Michael Killough | 2019-03-17 | 1 | -76/+99 |
| * | Implement BindingMode for pattern matching. | Michael Killough | 2019-03-16 | 1 | -45/+76 |
* | | Replace Display by a pretty printing trait for Ty | Florian Diebold | 2019-03-16 | 1 | -2/+3 |
|/ | |||||
* | Inline type inference test snapshots | Florian Diebold | 2019-03-03 | 1 | -244/+1096 |