aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/semantics.rs
Commit message (Collapse)AuthorAgeFilesLines
* Rename ra_syntax -> syntaxAleksey Kladov2020-08-121-2/+2
|
* Rename ra_prof -> profileAleksey Kladov2020-08-121-3/+2
|
* Merge #5553bors[bot]2020-08-121-12/+6
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5553: Add fix ranges for diagnostics r=matklad a=SomeoneToIgnore A follow-up of https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Less.20red.20in.20the.20code Now diagnostics can apply fixes in a range that's different from the range used to highlight the diagnostics. Previous logic did not consider the fix range, having both ranges equal, which could cause a lot of red noise in the editor. Now, the fix range gets used with the fix, the diagnostics range is used for everything else which allows to improve the error highlighting. before: <img width="191" alt="image" src="https://user-images.githubusercontent.com/2690773/88590727-df9a6a00-d063-11ea-97ed-9809c1c5e6e6.png"> after: <img width="222" alt="image" src="https://user-images.githubusercontent.com/2690773/88590734-e1fcc400-d063-11ea-9b7c-25701cbd5352.png"> `MissingFields` and `MissingPatFields` diagnostics now have the fix range as `ast::RecordFieldList` of the expression with an error (as it was before this PR), and the diagnostics range as a `ast::Path` of the expression, if it's present (do you have any example of `ast::Expr::RecordLit` that has no path btw?). The rest of the diagnostics have both ranges equal, same as it was before this PR. Co-authored-by: Kirill Bulatov <[email protected]>
| * Better naming and docsKirill Bulatov2020-08-111-4/+4
| |
| * Improve the ide diagnostics trait APIKirill Bulatov2020-08-111-4/+1
| |
| * Move the DiagnosticsWithFix trait on the ide levelKirill Bulatov2020-08-111-9/+3
| |
| * Make the fix AST source OptionalKirill Bulatov2020-08-111-4/+4
| |
| * Refactor the diagnosticsKirill Bulatov2020-08-111-18/+10
| |
| * Better namingKirill Bulatov2020-08-111-0/+11
| |
* | Fix type names broken by rebase, redo expected test because of rebasePaul Daniel Faria2020-08-101-9/+13
| |
* | Move unsafe semantics methods into `SemanticsImpl` and reference them in ↵Paul Daniel Faria2020-08-101-71/+83
| | | | | | | | `Semantics`
* | Return bool from is_unsafe_method_call and cleanup usagesPaul Daniel Faria2020-08-101-19/+19
| |
* | Move semantic logic into Semantics, fix missing tag for safe amp operator, ↵Paul Daniel Faria2020-08-101-35/+75
| | | | | | | | using functional methods rather than clunky inline closure
* | Move unsafe packed ref logic to Semantics, use `Attrs::by_key` to simplify ↵Paul Daniel Faria2020-08-101-0/+41
|/ | | | repr attr lookup
* Add support for extern cratePaul Daniel Faria2020-08-081-3/+22
| | | | | This adds syntax highlighting, hover and goto def functionality for extern crate
* Rename BindPat -> IdentPatAleksey Kladov2020-07-311-3/+3
|
* Allign RecordPat with RecordExprAleksey Kladov2020-07-311-2/+2
|
* Finalize impl GrammarAleksey Kladov2020-07-301-1/+1
|
* Finalize Trait grammarAleksey Kladov2020-07-301-1/+1
|
* Finalize const&static grammarAleksey Kladov2020-07-301-2/+2
|
* Rename EnumVariant -> VariantAleksey Kladov2020-07-301-1/+1
|
* Rename EnumDef -> EnumAleksey Kladov2020-07-301-1/+1
|
* Rename StructDef -> StructAleksey Kladov2020-07-301-1/+1
|
* Finalize union grammarAleksey Kladov2020-07-301-1/+1
|
* Rename FieldDef -> FieldAleksey Kladov2020-07-301-2/+2
|
* Rename RecordLit -> RecordExprAleksey Kladov2020-07-301-6/+9
|
* Rename TypeAliasDef -> TypeAliasAleksey Kladov2020-07-301-1/+1
|
* Rename FnDef -> FnAleksey Kladov2020-07-301-1/+1
|
* Cache macro expansion in semanticsAleksey Kladov2020-07-241-2/+14
| | | | | #5497 accidentally made syntax highlighting quadratic, due to repeated tokentreeizing of macros.
* Add missing cancellation pointAleksey Kladov2020-07-241-0/+1
|
* Add profiling callAleksey Kladov2020-07-241-0/+1
|
* Semantical call infoAleksey Kladov2020-07-161-5/+20
|
* Fix goto definition for type alias type parametersAleksey Kladov2020-07-111-0/+1
| | | | closes https://github.com/rust-analyzer/rust-analyzer/issues/5042
* Reduce visibilityAleksey Kladov2020-07-111-31/+31
|
* Speed up completionAleksey Kladov2020-07-111-0/+1
|
* Dont expose IDAleksey Kladov2020-07-101-4/+3
|
* RenameAleksey Kladov2020-07-101-1/+1
|
* Goto type definition works for selfAleksey Kladov2020-07-101-0/+9
|
* Make less code genericLaurențiu Nicola2020-07-011-69/+47
|
* Try to reduce Semantics monomorphisationsLaurențiu Nicola2020-07-011-23/+186
|
* Make SemanticsScope non-genericLaurențiu Nicola2020-07-011-8/+8
|
* Add quickfix to add a struct fieldTimo Freiberg2020-06-121-2/+13
|
* Don't guess macro expansion crateAleksey Kladov2020-06-111-1/+2
|
* Add doc comment for resolve_hir_path_qualifierHasan Ali2020-05-161-0/+13
|
* Fix completion and hover for module and function of same nameHasan Ali2020-05-161-1/+5
|
* Remove lower_path from AssistCtx to SemanticEdwin Cheng2020-05-011-1/+6
|
* ?Jonas Schievink2020-04-291-5/+1
|
* Use or-patterns moreJonas Schievink2020-04-291-10/+9
|
* Remove `.clone()`Jonas Schievink2020-04-291-8/+8
|
* Rename to associated_type_shorthand_candidatesJonas Schievink2020-04-291-2/+2
|