aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/method_resolution.rs
Commit message (Collapse)AuthorAgeFilesLines
* Update ChalkFlorian Diebold2019-05-041-1/+0
|
* Canonicalize before doing method resolutionFlorian Diebold2019-05-041-110/+109
|
* Chalk integrationFlorian Diebold2019-05-041-9/+20
| | | | | - add proper canonicalization logic - add conversions from/to Chalk IR
* lang_item_lookup is now a salsa query.Marco Groppo2019-04-191-6/+5
|
* New krate() method in Resolver.Marco Groppo2019-04-191-21/+7
| | | | Renamed Impl to ImplBlock.
* Initial support for lang items.Marco Groppo2019-04-191-4/+34
|
* Refactor method candidate generation a bitFlorian Diebold2019-04-141-53/+73
| | | | | | This fixes the order in which candidates are chosen a bit (not completely though, as the ignored test demonstrates), and makes autoderef work with trait methods. As a side effect, this also makes completion of trait methods work :)
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-141-3/+5
|
* Some cleanupFlorian Diebold2019-04-141-6/+7
|
* More trait infrastructureFlorian Diebold2019-04-141-28/+19
| | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk)
* Get substs for trait refs in impl blocksFlorian Diebold2019-04-141-2/+4
|
* make resolver privateAleksey Kladov2019-04-131-1/+1
|
* Clean up comments / use nicer Iterator methodsFlorian Diebold2019-03-251-9/+14
|
* Implement a very naive implements checkFlorian Diebold2019-03-251-6/+26
| | | | ... to make the infer_trait_method_simple test have the correct result.
* Basics for trait method resolutionFlorian Diebold2019-03-251-14/+46
|
* replace todo with fixmeAleksey Kladov2019-03-231-1/+1
|
* Rename name field to ctor as wellFlorian Diebold2019-03-211-2/+2
|
* TypeName => TypeCtorFlorian Diebold2019-03-211-3/+3
|
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-211-4/+7
|
* rename ModuleId -> CrateModuleIdAleksey Kladov2019-03-171-4/+4
|
* Reorganize name resolutionAleksey Kladov2019-03-171-1/+1
|
* Replace module_tree with CrateDefMapAleksey Kladov2019-03-171-1/+3
|
* Unify with the autorefed/autoderefed receiver type during method resolutionFlorian Diebold2019-02-171-5/+7
|
* Turn ImplBlock into a copy type just containing IDsFlorian Diebold2019-02-161-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 itemsLaurențiu Nicola2019-02-121-0/+20
|
* replace clone with copyAleksey Kladov2019-02-121-1/+1
|
* fix obsolete commentAleksey Kladov2019-02-121-2/+2
|
* reformat the worldAleksey Kladov2019-02-081-20/+10
|
* Some clippy cleanupskjeremy2019-02-061-1/+1
|
* Use new Resolver API in type inferenceFlorian Diebold2019-02-011-21/+9
|
* Go To Implementation for Traitkjeremy2019-01-311-19/+48
|
* Use Crate instead of CrateIdAleksey Kladov2019-01-301-1/+1
|
* Go to Implementation for structs and enumsJeremy Kolb2019-01-301-3/+3
|
* new struct idAleksey Kladov2019-01-241-4/+4
|
* Functions use new id schemeAleksey Kladov2019-01-241-2/+2
|
* Change ids strategyAleksey Kladov2019-01-241-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 -> GenericParamsFlorian Diebold2019-01-191-2/+2
|
* Implement beginnings of genericsFlorian Diebold2019-01-191-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 inferenceAleksey Kladov2019-01-151-20/+17
|
* remove Cancelable from TyAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from idsAleksey Kladov2019-01-151-5/+5
|
* remove Cancelable from Crate APIAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from Module API, part 2Aleksey Kladov2019-01-151-1/+1
|
* args -> paramsFlorian Diebold2019-01-121-1/+1
|
* Small improvements from review commentsFlorian Diebold2019-01-121-15/+15
|
* Implement basic inherent method resolutionFlorian Diebold2019-01-121-0/+164
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 10:18:20 +0000