aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/code_model.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix crash for super trait cyclesFlorian Diebold2019-09-071-18/+18
|
* Use traits from where clauses for method resolutionFlorian Diebold2019-09-071-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 traitsFlorian Diebold2019-09-071-2/+52
|
* Add an expr_source method analogous to the source methods in the code modelFlorian Diebold2019-09-021-13/+38
| | | | ... and use that instead of exposing the source map.
* Report type mismatches in analysis-statsFlorian Diebold2019-09-021-1/+1
| | | | Only the number usually; each one individually when running with -v.
* rename struct -> record, pos -> tupleAleksey Kladov2019-08-231-2/+2
|
* Add representations of associated typesFlorian Diebold2019-08-121-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 rowanAleksey Kladov2019-07-191-11/+8
|
* make Parse fields privateAleksey Kladov2019-07-121-1/+1
| | | | this is in preparation for the new rowan API
* cargo formatMuhammad Mominul Huque2019-07-071-1/+4
|
* Constify KnownName'sMuhammad Mominul Huque2019-07-071-23/+24
|
* properly restrict diagnostics to a single fileAleksey Kladov2019-07-051-1/+6
|
* Merge #1491bors[bot]2019-07-051-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 -> selfJeremy Kolb2019-07-051-13/+13
| | | | | | | | https://rust-lang.github.io/rust-clippy/master/index.html#trivially_copy_pass_by_ref
| * Clippy changesJeremy Kolb2019-07-051-3/+3
| |
* | Fix clippy::redundant_cloneShotaro Yamada2019-07-051-1/+1
|/
* allow rustfmt to reorder importsAleksey Kladov2019-07-041-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 aliasesShotaro Yamada2019-07-021-0/+4
|
* Complete associated methods on enums (and unions) as wellFlorian Diebold2019-06-291-0/+4
|
* Add firewall query to lang itemsAleksey Kladov2019-06-191-1/+1
| | | | | With an intermediate query, changing one module won't cause reparsing of all modules
* rename XSignature -> XDataAleksey Kladov2019-06-181-24/+22
|
* Simplifications / cleanup from reviewFlorian Diebold2019-06-161-2/+1
|
* Add basic infrastructure for assoc type projectionFlorian Diebold2019-06-151-2/+19
|
* move docs under code modelAleksey Kladov2019-06-111-0/+1
|
* move source to a seaparate fileAleksey Kladov2019-06-111-120/+3
|
* remove inherent source implsAleksey Kladov2019-06-111-50/+1
|
* use Source for module, part 2Aleksey Kladov2019-06-111-2/+2
|
* use Source for module, part 1Aleksey Kladov2019-06-111-8/+5
|
* use Source for StructFieldAleksey Kladov2019-06-111-2/+9
|
* use Source for MacroDefAleksey Kladov2019-06-111-5/+10
|
* use Source for impl blockAleksey Kladov2019-06-111-5/+2
|
* use Source for TraitAleksey Kladov2019-06-111-5/+16
|
* use Source for TypeAliasAleksey Kladov2019-06-111-2/+9
|
* use Source for statics and constsAleksey Kladov2019-06-111-12/+22
|
* use Source for FunctionAleksey Kladov2019-06-111-6/+14
|
* Introduce HasSource traitAleksey Kladov2019-06-111-0/+26
|
* use Source moreAleksey Kladov2019-06-111-6/+3
|
* introduce Source structAleksey Kladov2019-06-111-5/+13
|
* one macro def should be enoughAleksey Kladov2019-06-081-0/+9
|
* make documenation a queryAleksey Kladov2019-06-081-1/+1
|
* make Docs handing more ideomaticAleksey Kladov2019-06-081-1/+0
|
* Move docs to dedicated moduleAleksey Kladov2019-06-081-68/+0
|
* Fix clippy::single_matchAlan Du2019-06-041-3/+2
|
* add AstDatabaseAleksey Kladov2019-06-021-20/+50
|
* add built-in types to scopesAleksey Kladov2019-05-301-1/+1
|
* add list of builtin typesAleksey Kladov2019-05-301-2/+28
|
* add ModuleDef::BuiltInTypeAleksey Kladov2019-05-301-2/+13
|
* fix syntax errors in testsAleksey Kladov2019-05-281-1/+1
|
* FormattingEdwin Cheng2019-05-271-1/+0
|
* Use ItemOrMacro in item resolutionEdwin Cheng2019-05-261-1/+6
|