| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add `impl Trait` and `dyn Trait` types | Florian Diebold | 2019-08-22 | 1 | -14/+6 |
| | | | | | | | | - refactor bounds handling in the AST a bit - add HIR for bounds - add `Ty::Dyn` and `Ty::Opaque` variants and lower `dyn Trait` / `impl Trait` syntax to them | ||||
| * | Don't add `?` bounds as real bounds | Aleksey Kladov | 2019-08-22 | 1 | -0/+8 |
| | | | | | closes #1709 | ||||
| * | remove ast::*Kind from hir | Aleksey Kladov | 2019-08-19 | 1 | -2/+2 |
| | | |||||
| * | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 1 | -11/+11 |
| | | |||||
| * | cargo format | Muhammad Mominul Huque | 2019-07-07 | 1 | -5/+1 |
| | | |||||
| * | Constify KnownName's | Muhammad Mominul Huque | 2019-07-07 | 1 | -1/+2 |
| | | |||||
| * | Make EnumVariant a GenericDef and simplify some code | Florian Diebold | 2019-07-06 | 1 | -3/+9 |
| | | |||||
| * | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -5/+6 |
| | | | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway | ||||
| * | remove inherent source impls | Aleksey Kladov | 2019-06-11 | 1 | -1/+3 |
| | | |||||
| * | use Source for impl block | Aleksey Kladov | 2019-06-11 | 1 | -2/+2 |
| | | |||||
| * | use Source for Trait | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | | |||||
| * | use Source for TypeAlias | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | | |||||
| * | use Source for Function | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | | |||||
| * | use Source more | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | | |||||
| * | introduce Source struct | Aleksey Kladov | 2019-06-11 | 1 | -1/+1 |
| | | |||||
| * | add AstDatabase | Aleksey Kladov | 2019-06-02 | 1 | -2/+2 |
| | | |||||
| * | add union to code_model | Aleksey Kladov | 2019-05-23 | 1 | -3/+10 |
| | | |||||
| * | remove minor code duplication | Aleksey Kladov | 2019-05-20 | 1 | -2/+2 |
| | | |||||
| * | Add default type to GenericParam | Edwin Cheng | 2019-05-19 | 1 | -3/+10 |
| | | |||||
| * | 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 |