Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clean up comments / use nicer Iterator methods | Florian Diebold | 2019-03-25 | 1 | -9/+14 |
| | |||||
* | Implement a very naive implements check | Florian Diebold | 2019-03-25 | 1 | -6/+26 |
| | | | | ... to make the infer_trait_method_simple test have the correct result. | ||||
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 1 | -14/+46 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 |
| | |||||
* | Rename name field to ctor as well | Florian Diebold | 2019-03-21 | 1 | -2/+2 |
| | |||||
* | TypeName => TypeCtor | Florian Diebold | 2019-03-21 | 1 | -3/+3 |
| | |||||
* | Remove the old variants replaced by Ty::Apply | Florian Diebold | 2019-03-21 | 1 | -4/+7 |
| | |||||
* | rename ModuleId -> CrateModuleId | Aleksey Kladov | 2019-03-17 | 1 | -4/+4 |
| | |||||
* | Reorganize name resolution | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 |
| | |||||
* | Replace module_tree with CrateDefMap | Aleksey Kladov | 2019-03-17 | 1 | -1/+3 |
| | |||||
* | Unify with the autorefed/autoderefed receiver type during method resolution | Florian Diebold | 2019-02-17 | 1 | -5/+7 |
| | |||||
* | Turn ImplBlock into a copy type just containing IDs | Florian Diebold | 2019-02-16 | 1 | -18/+11 |
| | | | | | | | This makes it more like the other code model types. Also make Module::definition_source/declaration_source return HirFileIds, to make them more like the other source functions. | ||||
* | Implement completion for associated items | Laurențiu Nicola | 2019-02-12 | 1 | -0/+20 |
| | |||||
* | replace clone with copy | Aleksey Kladov | 2019-02-12 | 1 | -1/+1 |
| | |||||
* | fix obsolete comment | Aleksey Kladov | 2019-02-12 | 1 | -2/+2 |
| | |||||
* | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -20/+10 |
| | |||||
* | Some clippy cleanups | kjeremy | 2019-02-06 | 1 | -1/+1 |
| | |||||
* | Use new Resolver API in type inference | Florian Diebold | 2019-02-01 | 1 | -21/+9 |
| | |||||
* | Go To Implementation for Trait | kjeremy | 2019-01-31 | 1 | -19/+48 |
| | |||||
* | Use Crate instead of CrateId | Aleksey Kladov | 2019-01-30 | 1 | -1/+1 |
| | |||||
* | Go to Implementation for structs and enums | Jeremy Kolb | 2019-01-30 | 1 | -3/+3 |
| | |||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -4/+4 |
| | |||||
* | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -2/+2 |
| | |||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -14/+12 |
| | | | | | | | this is a part of larghish hir refactoring which aims to * replace per-source-root module trees with per crate trees * switch from a monotyped DedId to type-specific ids | ||||
* | Generics -> GenericParams | Florian Diebold | 2019-01-19 | 1 | -2/+2 |
| | |||||
* | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -3/+14 |
| | | | | | | | - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions | ||||
* | remove Cancelable from type inference | Aleksey Kladov | 2019-01-15 | 1 | -20/+17 |
| | |||||
* | remove Cancelable from Ty | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from ids | Aleksey Kladov | 2019-01-15 | 1 | -5/+5 |
| | |||||
* | remove Cancelable from Crate API | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from Module API, part 2 | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | args -> params | Florian Diebold | 2019-01-12 | 1 | -1/+1 |
| | |||||
* | Small improvements from review comments | Florian Diebold | 2019-01-12 | 1 | -15/+15 |
| | |||||
* | Implement basic inherent method resolution | Florian Diebold | 2019-01-12 | 1 | -0/+164 |