Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Merge #5684 | bors[bot] | 2020-08-08 | 3 | -10/+78 | |
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | 5684: Semantic highlighting for unsafe union field access r=jonas-schievink a=Nashenas88 This change adds support for unions in inference and lowering, then extends on that to add the unsafe semantic modifier on field access only. The `is_possibly_unsafe` function in `syntax_highlighting.rs` could be extended to support fns and static muts so that their definitions are not highlighted as unsafe, but only their usage. Also, each commit of this PR updates the tests. By reviewing the files by commit, it's easy to see how the changes in the code affected the tests. Co-authored-by: Paul Daniel Faria <[email protected]> | |||||
| * | | Apply unsafe semantic highlighting to union field access | Paul Daniel Faria | 2020-08-08 | 2 | -13/+59 | |
| | | | ||||||
| * | | Add support for unions in inference and lowering | Paul Daniel Faria | 2020-08-08 | 1 | -4/+4 | |
| | | | ||||||
| * | | Add test for unsafe union field access highlighting | Paul Daniel Faria | 2020-08-07 | 2 | -0/+22 | |
| | | | ||||||
* | | | Mark static mutable names as unsafe | Paul Daniel Faria | 2020-08-07 | 3 | -4/+5 | |
| | | | ||||||
* | | | Add test for accessing static mut | Paul Daniel Faria | 2020-08-07 | 2 | -0/+14 | |
|/ / | ||||||
* | | align names in make | Aleksey Kladov | 2020-08-05 | 1 | -4/+6 | |
| | | ||||||
* | | When resolving a rename, fallback to the name higher in the use tree if the ↵ | Paul Daniel Faria | 2020-08-04 | 1 | -1/+1 | |
| | | | | | | | | path segment is `self` | |||||
* | | Add test showing unresolved module rename | Paul Daniel Faria | 2020-08-04 | 2 | -1/+7 | |
| | | ||||||
* | | Fold trait declarations | Laurențiu Nicola | 2020-08-03 | 1 | -1/+22 | |
| | | ||||||
* | | Update grammar | Aleksey Kladov | 2020-08-01 | 2 | -2/+2 | |
|/ | ||||||
* | Rename DotDotPat -> RestPat | Aleksey Kladov | 2020-07-31 | 1 | -1/+1 | |
| | ||||||
* | Rename | Aleksey Kladov | 2020-07-31 | 3 | -4/+4 | |
| | ||||||
* | Rename BindPat -> IdentPat | Aleksey Kladov | 2020-07-31 | 6 | -17/+21 | |
| | ||||||
* | Allign RecordPat with RecordExpr | Aleksey Kladov | 2020-07-31 | 3 | -5/+5 | |
| | ||||||
* | Rename TypeArgList -> GenericArgList | Aleksey Kladov | 2020-07-31 | 2 | -2/+2 | |
| | ||||||
* | Rename LambdaExpr -> ClosureExpr | Aleksey Kladov | 2020-07-31 | 1 | -1/+1 | |
| | ||||||
* | Rename TypeRef -> Type | Aleksey Kladov | 2020-07-31 | 3 | -4/+4 | |
| | | | | | | | | | | The TypeRef name comes from IntelliJ days, where you often have both type *syntax* as well as *semantical* representation of types in scope. And naming both Type is confusing. In rust-analyzer however, we use ast types as `ast::Type`, and have many more semantic counterparts to ast types, so avoiding name clash here is just confusing. | |||||
* | Use ty to access most TypeRefs | Aleksey Kladov | 2020-07-30 | 2 | -2/+2 | |
| | ||||||
* | Remove TypeAscriptionOwner | Aleksey Kladov | 2020-07-30 | 4 | -31/+22 | |
| | ||||||
* | Finalize attribute grammar | Aleksey Kladov | 2020-07-30 | 1 | -6/+4 | |
| | ||||||
* | Finalize impl Grammar | Aleksey Kladov | 2020-07-30 | 6 | -15/+14 | |
| | ||||||
* | Finalize Trait grammar | Aleksey Kladov | 2020-07-30 | 7 | -25/+25 | |
| | ||||||
* | fmt | Aleksey Kladov | 2020-07-30 | 1 | -4/+3 | |
| | ||||||
* | Finalize const&static grammar | Aleksey Kladov | 2020-07-30 | 6 | -17/+17 | |
| | ||||||
* | Rename EnumVariant -> Variant | Aleksey Kladov | 2020-07-30 | 7 | -10/+10 | |
| | ||||||
* | Rename EnumDef -> Enum | Aleksey Kladov | 2020-07-30 | 5 | -9/+9 | |
| | ||||||
* | Rename StructDef -> Struct | Aleksey Kladov | 2020-07-30 | 7 | -32/+32 | |
| | ||||||
* | Finalize union grammar | Aleksey Kladov | 2020-07-30 | 4 | -4/+4 | |
| | ||||||
* | Rename FieldDef -> Field | Aleksey Kladov | 2020-07-30 | 8 | -19/+19 | |
| | ||||||
* | Rename RecordLit -> RecordExpr | Aleksey Kladov | 2020-07-30 | 5 | -10/+10 | |
| | ||||||
* | Rename TypeParamList -> GenericParamList | Aleksey Kladov | 2020-07-30 | 4 | -6/+6 | |
| | ||||||
* | Rename TypeAliasDef -> TypeAlias | Aleksey Kladov | 2020-07-30 | 6 | -10/+10 | |
| | ||||||
* | Rename FnDef -> Fn | Aleksey Kladov | 2020-07-30 | 16 | -86/+86 | |
| | ||||||
* | Rename UseItem -> Use | Aleksey Kladov | 2020-07-30 | 2 | -4/+4 | |
| | ||||||
* | Split ItemList & AssocItemList | Aleksey Kladov | 2020-07-30 | 3 | -37/+43 | |
| | ||||||
* | Rename ModuleItem -> Item | Aleksey Kladov | 2020-07-29 | 2 | -3/+3 | |
| | ||||||
* | Replace rand with oorandom | Aleksey Kladov | 2020-07-29 | 3 | -12/+12 | |
| | ||||||
* | Rename NomialDef -> AdtDef | Aleksey Kladov | 2020-07-29 | 1 | -5/+5 | |
| | ||||||
* | Merge #5564 | bors[bot] | 2020-07-29 | 2 | -4/+9 | |
|\ | | | | | | | | | | | | | | | 5564: SSR: Restrict to current selection if any r=davidlattimore a=davidlattimore The selection is also used to avoid unnecessary work, but only to the file level. Further restricting unnecessary work is left for later. Co-authored-by: David Lattimore <[email protected]> | |||||
| * | SSR: Rename position and lookup_context to resolve_context | David Lattimore | 2020-07-29 | 1 | -2/+2 | |
| | | ||||||
| * | SSR: Restrict to current selection if any | David Lattimore | 2020-07-29 | 2 | -3/+8 | |
| | | | | | | | | | | The selection is also used to avoid unnecessary work, but only to the file level. Further restricting unnecessary work is left for later. | |||||
* | | Allow running more tests at once | Kirill Bulatov | 2020-07-28 | 1 | -54/+110 | |
|/ | ||||||
* | Fold multiline fn parameters | Aleksey Kladov | 2020-07-27 | 1 | -1/+13 | |
| | ||||||
* | add completion for rustc lints | Emil Gardström | 2020-07-27 | 1 | -4/+278 | |
| | ||||||
* | Only display experimental diagnostics when enabled | Jonas Schievink | 2020-07-24 | 2 | -7/+18 | |
| | ||||||
* | Add a builder for DiagnosticSink | Jonas Schievink | 2020-07-24 | 1 | -68/+71 | |
| | ||||||
* | SSR: Allow function calls to match method calls | David Lattimore | 2020-07-24 | 1 | -0/+3 | |
| | | | | | | | | | | | This differs from how this used to work before I removed it in that: a) It's only one direction. Function calls in the pattern can match method calls in the code, but not the other way around. b) We now check that the function call in the pattern resolves to the same function as the method call in the code. The lack of (b) was the reason I felt the need to remove the feature before. | |||||
* | SSR: Match paths based on what they resolve to | David Lattimore | 2020-07-24 | 1 | -1/+11 | |
| | | | | Also render template paths appropriately for their context. | |||||
* | SSR: Pass current file position through to SSR code. | David Lattimore | 2020-07-24 | 2 | -3/+6 | |
| | | | | In a subsequent commit, it will be used for resolving paths. |