Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove old impls infrastructure | Aleksey Kladov | 2019-11-15 | 1 | -14/+11 |
| | |||||
* | Flatten expr module | Aleksey Kladov | 2019-11-15 | 1 | -1/+1 |
| | |||||
* | Refactor Module::from_source to properly descend from root file | Aleksey Kladov | 2019-11-15 | 1 | -1/+1 |
| | |||||
* | Move body queries to hir_def | Aleksey Kladov | 2019-11-14 | 1 | -9/+19 |
| | |||||
* | Minor cleanup | Aleksey Kladov | 2019-11-12 | 1 | -5/+5 |
| | |||||
* | Introduce hir::GenericParam | Aleksey Kladov | 2019-11-11 | 1 | -1/+7 |
| | | | | Unlike existing hir::GenericParams, this is a global ID. | ||||
* | Add hir::Local | Aleksey Kladov | 2019-11-11 | 1 | -2/+53 |
| | |||||
* | Unfork struct and union ids | Aleksey Kladov | 2019-11-09 | 1 | -6/+6 |
| | |||||
* | Merge #2179 | bors[bot] | 2019-11-06 | 1 | -0/+1 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 2179: Use HirDatabase to compute `is_deprecated` r=matklad a=martskins This PR fixes #2167 by introducing `attributes_query` and adding `fn attrs(&self, def: crate::AttrDef) -> Option<Arc<[Attr]>>;` to the `DefDatabase` trait. I'm a little concerned about the two spots in `attributes_query` where code is repeated, but I couldn't figure out a way to avoid that, so.. I welcome suggestions :smile: Co-authored-by: Martin Asquino <[email protected]> | ||||
| * | HirDatabase stored attributes | Martin Asquino | 2019-11-04 | 1 | -0/+1 |
| | | |||||
* | | Move Namespace enum closer to usage | Aleksey Kladov | 2019-11-04 | 1 | -2/+2 |
|/ | |||||
* | Remove last traces of nameres from hir | Aleksey Kladov | 2019-11-03 | 1 | -2/+1 |
| | |||||
* | Move CrateDefMap to hir_def | Aleksey Kladov | 2019-11-03 | 1 | -16/+21 |
| | |||||
* | Move diagnostics to hir_expand | Aleksey Kladov | 2019-11-02 | 1 | -2/+4 |
| | |||||
* | Refactor to unify with method resolution | Florian Diebold | 2019-11-01 | 1 | -0/+9 |
| | |||||
* | move struct & enum data to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -11/+20 |
| | |||||
* | add ModuleDefId to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -3/+3 |
| | |||||
* | move builtin types to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -44/+4 |
| | |||||
* | 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 |
| |