Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 1 | -4/+4 |
| | |||||
* | remove forward pointer for type_ref | Aleksey Kladov | 2019-10-30 | 1 | -2/+1 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 1 | -9/+9 |
| | |||||
* | move raw_items to hir_def | Aleksey Kladov | 2019-10-30 | 1 | -27/+3 |
| | |||||
* | Move ids to hir_def crate | Aleksey Kladov | 2019-10-30 | 1 | -8/+8 |
| | |||||
* | introduce ra_hir_def | Aleksey Kladov | 2019-10-30 | 1 | -36/+41 |
| | |||||
* | remove one more dependency on source roots | Aleksey Kladov | 2019-10-14 | 1 | -5/+3 |
| | |||||
* | add `module` methods | Ekaterina Babshukova | 2019-10-09 | 1 | -0/+32 |
| | |||||
* | Address comments: fix docs, add completion test for `Self`. | ice1000 | 2019-10-08 | 1 | -1/+1 |
| | |||||
* | Support inferring `Self` type in enum definitions | ice1000 | 2019-10-08 | 1 | -2/+2 |
| | | | | Signed-off-by: ice1000 <[email protected]> | ||||
* | Added test for check doc strings in crates. | Alexander Andreev | 2019-09-30 | 1 | -0/+2 |
| | | | | #1856 | ||||
* | Add SubstsBuilder | Florian Diebold | 2019-09-26 | 1 | -3/+11 |
| | | | | + further refactoring. | ||||
* | Resolve trait associated items | Florian Diebold | 2019-09-25 | 1 | -0/+10 |
| | | | | E.g. `Default::default` or `<Foo as Default>::default`. | ||||
* | Remove redundant clone() | Shotaro Yamada | 2019-09-25 | 1 | -1/+1 |
| | |||||
* | Give closures types | Florian Diebold | 2019-09-24 | 1 | -0/+20 |
| | |||||
* | Drive by lints | kjeremy | 2019-09-23 | 1 | -1/+1 |
| | |||||
* | introduce FromSource trait | Ekaterina Babshukova | 2019-09-19 | 1 | -1/+1 |
| | |||||
* | Remove TraitItem and ImplItem in favor of AssocItem | Florian Diebold | 2019-09-17 | 1 | -24/+9 |
| | |||||
* | Refactor a bit to prepare for resolving trait assoc items | Florian Diebold | 2019-09-17 | 1 | -0/+31 |
| | |||||
* | Remove `is_unnamed` | Dylan MacKenzie | 2019-09-16 | 1 | -4/+0 |
| | |||||
* | Gracefully handle `const _` items in `ConstData` | Dylan MacKenzie | 2019-09-16 | 1 | -4/+8 |
| | |||||
* | Specify desirable namespace when calling resolve | Aleksey Kladov | 2019-09-13 | 1 | -6/+4 |
| | | | | That way, we are able to get rid of a number of unreachable statements | ||||
* | rename AdtDef -> Adt | Aleksey Kladov | 2019-09-12 | 1 | -14/+15 |
| | |||||
* | generalize impl_froms to nested enums | Aleksey Kladov | 2019-09-12 | 1 | -19/+1 |
| | |||||
* | make various enums "inherit" from AdtDef | Aleksey Kladov | 2019-09-12 | 1 | -6/+55 |
| | |||||
* | cleanup hir db imports | Aleksey Kladov | 2019-09-08 | 1 | -1/+2 |
| | |||||
* | Fix crash for super trait cycles | Florian Diebold | 2019-09-07 | 1 | -18/+18 |
| | |||||
* | Use traits from where clauses for method resolution | Florian Diebold | 2019-09-07 | 1 | -9/+12 |
| | | | | | E.g. if we have `T: some::Trait`, we can call methods from that trait without it needing to be in scope. | ||||
* | Lower bounds on trait definition, and resolve assoc types from super traits | Florian Diebold | 2019-09-07 | 1 | -2/+52 |
| | |||||
* | Add an expr_source method analogous to the source methods in the code model | Florian Diebold | 2019-09-02 | 1 | -13/+38 |
| | | | | ... and use that instead of exposing the source map. | ||||
* | Report type mismatches in analysis-stats | Florian Diebold | 2019-09-02 | 1 | -1/+1 |
| | | | | Only the number usually; each one individually when running with -v. | ||||
* | rename struct -> record, pos -> tuple | Aleksey Kladov | 2019-08-23 | 1 | -2/+2 |
| | |||||
* | Add representations of associated types | Florian Diebold | 2019-08-12 | 1 | -0/+4 |
| | | | | | | | | | | | | This adds three different representations, copied from the Chalk model: - `Ty::Projection` is an associated type projection written somewhere in the code, like `<Foo as Trait>::Bar`. - `Ty::UnselectedProjection` is similar, but we don't know the trait yet (`Foo::Bar`). - The above representations are normalized to their actual types during type inference. When that isn't possible, for example for `T::Item` inside an `fn foo<T: Iterator>`, the type is normalized to an application type with `TypeCtor::AssociatedType`. | ||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 1 | -11/+8 |
| | |||||
* | make Parse fields private | Aleksey Kladov | 2019-07-12 | 1 | -1/+1 |
| | | | | this is in preparation for the new rowan API | ||||
* | cargo format | Muhammad Mominul Huque | 2019-07-07 | 1 | -1/+4 |
| | |||||
* | Constify KnownName's | Muhammad Mominul Huque | 2019-07-07 | 1 | -23/+24 |
| | |||||
* | properly restrict diagnostics to a single file | Aleksey Kladov | 2019-07-05 | 1 | -1/+6 |
| | |||||
* | Merge #1491 | bors[bot] | 2019-07-05 | 1 | -16/+16 |
|\ | | | | | | | | | | | | | | | | | | | 1491: More clippy r=matklad a=kjeremy A few more clippy changes. I'm a little unsure of the second commit. It's the trivially_copy_pass_by_ref lint and there are a number of places in the code we could use it if it makes sense. Co-authored-by: Jeremy Kolb <[email protected]> | ||||
| * | &self -> self | Jeremy Kolb | 2019-07-05 | 1 | -13/+13 |
| | | | | | | | | https://rust-lang.github.io/rust-clippy/master/index.html#trivially_copy_pass_by_ref | ||||
| * | Clippy changes | Jeremy Kolb | 2019-07-05 | 1 | -3/+3 |
| | | |||||
* | | Fix clippy::redundant_clone | Shotaro Yamada | 2019-07-05 | 1 | -1/+1 |
|/ | |||||
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -11/+19 |
| | | | | | | 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 | ||||
* | Add completion for type aliases | Shotaro Yamada | 2019-07-02 | 1 | -0/+4 |
| | |||||
* | Complete associated methods on enums (and unions) as well | Florian Diebold | 2019-06-29 | 1 | -0/+4 |
| | |||||
* | Add firewall query to lang items | Aleksey Kladov | 2019-06-19 | 1 | -1/+1 |
| | | | | | With an intermediate query, changing one module won't cause reparsing of all modules | ||||
* | rename XSignature -> XData | Aleksey Kladov | 2019-06-18 | 1 | -24/+22 |
| | |||||
* | Simplifications / cleanup from review | Florian Diebold | 2019-06-16 | 1 | -2/+1 |
| | |||||
* | Add basic infrastructure for assoc type projection | Florian Diebold | 2019-06-15 | 1 | -2/+19 |
| | |||||
* | move docs under code model | Aleksey Kladov | 2019-06-11 | 1 | -0/+1 |
| |