aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/generics.rs
Commit message (Collapse)AuthorAgeFilesLines
* Chalk integrationFlorian Diebold2019-05-041-1/+10
| | | | | - add proper canonicalization logic - add conversions from/to Chalk IR
* Add HIR for where clauses & ignore impls with where clauses in trait resolutionFlorian Diebold2019-04-211-2/+40
| | | | | This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet.
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-141-0/+13
|
* Add Container enum to handle both kinds of container (impl/trait)Florian Diebold2019-04-141-7/+13
|
* More trait infrastructureFlorian Diebold2019-04-141-3/+7
| | | | | | | | | | - 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-1/+5
|
* rename persistent hir database -> def databaseAleksey Kladov2019-03-231-2/+2
|
* replace todo with fixmeAleksey Kladov2019-03-231-1/+1
|
* Rename Type => TypeAliasFlorian Diebold2019-02-241-5/+8
|
* Fix handling of generics in tuple variants and refactor a bitFlorian Diebold2019-02-201-0/+13
| | | | | | Also make them display a tiny bit nicer. Fixes #860.
* Handle impl generics in method callsFlorian Diebold2019-02-161-10/+28
|
* Add generic params to impl blocksFlorian Diebold2019-02-161-2/+4
|
* reformat the worldAleksey Kladov2019-02-081-8/+2
|
* Make the Resolution variants tuple variantsFlorian Diebold2019-02-011-0/+1
|
* split HirDatabase apicsmoe2019-02-011-2/+2
|
* Migrate trait & type to new idsAleksey Kladov2019-01-241-16/+7
|
* macro-generate fromsAleksey Kladov2019-01-241-18/+1
|
* migrate enums to new idAleksey Kladov2019-01-241-17/+21
|
* new struct idAleksey Kladov2019-01-241-1/+14
|
* Functions use new id schemeAleksey Kladov2019-01-241-15/+51
|
* Generics -> GenericParamsFlorian Diebold2019-01-191-4/+4
|
* Implement beginnings of genericsFlorian Diebold2019-01-191-0/+48
- add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions