aboutsummaryrefslogtreecommitdiff
path: root/crates/hir/src/semantics.rs
Commit message (Collapse)AuthorAgeFilesLines
* clippy::redudant_borrowMaan20032021-06-131-2/+2
|
* Merge #9191bors[bot]2021-06-091-2/+10
|\ | | | | | | | | | | | | | | 9191: fix: Don't descend MacroCall TokenTree delimiters r=jonas-schievink a=Veykril Fixes #9190 Co-authored-by: Lukas Wirth <[email protected]>
| * Don't descend MacroCall TokenTree delimitersLukas Wirth2021-06-091-2/+10
| |
* | Don't complete values in type positionLukas Wirth2021-06-081-1/+2
|/
* Attempt to track attr macros during highlightingJonas Schievink2021-06-071-0/+10
|
* Make "expand macro" command work with attribute macrosJonas Schievink2021-06-071-0/+16
|
* Handle attribute macros in `descend_into_macros`Jonas Schievink2021-06-061-17/+49
|
* Update salsaJonas Schievink2021-05-271-1/+1
|
* internal: rename hypothetical -> speculativeAleksey Kladov2021-05-241-5/+5
| | | | | Lets steal this good naming from Roslyn before I forget about it yet again.
* Get rid of field_type againFlorian Diebold2021-05-231-2/+5
|
* Record method call substs and use them in call infoFlorian Diebold2021-05-231-6/+4
|
* Paper over #8931 a bit moreFlorian Diebold2021-05-231-2/+3
| | | | | | | | | The problem was the skipping of binders in `resolve_method_call_as_callable`; this still doesn't use the _correct_ substitution, but at least it doesn't return a type with free variables in it. Fixes #8931.
* Support goto_type_definition for typesLukas Tobias Wirth2021-05-061-0/+12
|
* hir_ty: deal with TypeRef::Macro in HirFormattercynecx2021-04-171-3/+2
|
* hir_ty: Expand macros at type positioncynecx2021-04-171-1/+3
|
* Hide Binders internals moreFlorian Diebold2021-04-051-2/+2
|
* Resolve associated typesLukas Wirth2021-04-011-2/+4
|
* Unleash macro 2.0 in hightlight and moreEdwin Cheng2021-03-271-1/+1
|
* syntax: return owned string instead of leaking stringcynecx2021-03-261-1/+1
|
* Track labels in scopesLukas Wirth2021-03-211-0/+4
|
* Make `ItemTreeId` its own typeJonas Schievink2021-03-181-1/+1
|
* Merge #8059bors[bot]2021-03-171-0/+1
|\ | | | | | | | | | | | | | | 8059: Move doc-comment highlight injection from AST to HIR r=matklad,jonas-schievink a=Veykril Fixes #5016 Co-authored-by: Lukas Wirth <[email protected]>
| * Move doc-comment highlight injection from AST to HIRLukas Wirth2021-03-161-0/+1
| |
* | avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-171-1/+1
|/ | | | example: let x: String = String::from("hello world").into();
* Upgrade rowanAleksey Kladov2021-03-161-6/+24
| | | | Notably, new rowan comes with support for mutable syntax trees.
* Return multiple modules in `parent_module`Lukas Wirth2021-03-151-2/+6
|
* Remove useless code_model indirectionAleksey Kladov2021-03-081-3/+2
|
* For unresolved macros, hightlight only the last segmentAleksey Kladov2021-02-281-5/+3
|
* Wrap `BuiltinType` in code modelJonas Schievink2021-02-111-1/+1
|
* Show const params in completionsLukas Wirth2021-01-191-1/+1
|
* Handle self/super/crate in PathSegment as NameRefLukas Wirth2021-01-151-0/+1
|
* Add ConstParams to the HIRLukas Wirth2021-01-011-4/+8
|
* Track labels in the HIRLukas Wirth2020-12-241-3/+30
|
* Align code_model name with ungrammarAleksey Kladov2020-12-201-2/+2
|
* Rename ImplDef -> ImplAleksey Kladov2020-12-171-3/+3
| | | | | | We used to have `Def` suffix for all symbols, but we moved off from that. `FunctionDef` isn't better than `Function`. Looks like we've forgot to change `Impl` though!
* Node-ify lifetimesLukas Wirth2020-12-161-11/+6
|
* Move to upstream `macro_rules!` modelJonas Schievink2020-12-151-1/+1
|
* Add LifetimeParam resolving to SemanticsLukas Wirth2020-12-141-6/+45
|
* Improve code structureAleksey Kladov2020-12-111-24/+22
| | | | | Make sure that there's only one entry point, analyze, remove awkard analyzer2 name
* Make `original_range` a method on `InFile<&SyntaxNode>`Jonas Schievink2020-12-081-72/+4
|
* Apply suggestions from code reviewAleksey Kladov2020-09-211-5/+5
| | | Co-authored-by: Laurențiu Nicola <[email protected]>
* Document SemanticScopeAleksey Kladov2020-09-211-0/+19
|
* Rename record_field_pat to record_pat_fieldPavan Kumar Sunkara2020-09-101-4/+4
|
* :arrow_up: ungrammarAleksey Kladov2020-08-211-1/+1
|
* Better API factoring around self access modesAleksey Kladov2020-08-191-44/+2
|
* Add SelfParam to code_modelAleksey Kladov2020-08-191-5/+7
|
* Minor cleanupsAleksey Kladov2020-08-191-7/+6
|
* Add new method to Semantics, method_receiver_kind, which returns the kind of ↵Paul Daniel Faria2020-08-161-2/+44
| | | | | | | self The options are Shared, Mutable, Consuming, and Copied. Use this to add proper highlighting to methods based on usage.
* Mark mutating functions with `mutable` modifier, and owning functions with ↵Paul Daniel Faria2020-08-161-2/+2
| | | | `consuming`.
* Don't expose hir::Path out of hirAleksey Kladov2020-08-151-34/+3
| | | | | | | | | | | | | | Conjecture: it's impossible to use hir::Path *correctly* from an IDE. I am not entirely sure about this, and we might need to add it back at some point, but I have to arguments that convince me that we probably won't: * `hir::Path` has to know about hygiene, which an IDE can't set up properly. * `hir::Path` lacks identity, but you actually have to know identity to resolve it correctly