| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add support for inline bounds | Florian Diebold | 2019-05-11 | 1 | -16/+27 |
| | | | | | E.g. impl<T: Clone> Foo for T. | ||||
| * | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 1 | -3/+16 |
| | | |||||
| * | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -1/+10 |
| | | | | | | - add proper canonicalization logic - add conversions from/to Chalk IR | ||||
| * | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 1 | -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 trait | Florian Diebold | 2019-04-14 | 1 | -0/+13 |
| | | |||||
| * | Add Container enum to handle both kinds of container (impl/trait) | Florian Diebold | 2019-04-14 | 1 | -7/+13 |
| | | |||||
| * | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -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 blocks | Florian Diebold | 2019-04-14 | 1 | -1/+5 |
| | | |||||
| * | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -2/+2 |
| | | |||||
| * | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 |
| | | |||||
| * | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -5/+8 |
| | | |||||
| * | Fix handling of generics in tuple variants and refactor a bit | Florian Diebold | 2019-02-20 | 1 | -0/+13 |
| | | | | | | | Also make them display a tiny bit nicer. Fixes #860. | ||||
| * | Handle impl generics in method calls | Florian Diebold | 2019-02-16 | 1 | -10/+28 |
| | | |||||
| * | Add generic params to impl blocks | Florian Diebold | 2019-02-16 | 1 | -2/+4 |
| | | |||||
| * | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -8/+2 |
| | | |||||
| * | Make the Resolution variants tuple variants | Florian Diebold | 2019-02-01 | 1 | -0/+1 |
| | | |||||
| * | split HirDatabase api | csmoe | 2019-02-01 | 1 | -2/+2 |
| | | |||||
| * | Migrate trait & type to new ids | Aleksey Kladov | 2019-01-24 | 1 | -16/+7 |
| | | |||||
| * | macro-generate froms | Aleksey Kladov | 2019-01-24 | 1 | -18/+1 |
| | | |||||
| * | migrate enums to new id | Aleksey Kladov | 2019-01-24 | 1 | -17/+21 |
| | | |||||
| * | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -1/+14 |
| | | |||||
| * | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -15/+51 |
| | | |||||
| * | Generics -> GenericParams | Florian Diebold | 2019-01-19 | 1 | -4/+4 |
| | | |||||
| * | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -0/+48 |
| - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions | |||||
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |