aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* hir_ty: add coverage testing for autoderef_visibility_method testcynecx2021-03-202-0/+2
|
* hir_ty: fix test by removing trailing whitespacecynecx2021-03-201-24/+23
|
* hir_ty: iterate_method_candidates_for_self_ty pass `visible_from_module` ↵cynecx2021-03-201-1/+6
| | | | down to `iterate_inherent_methods`
* hir_ty: fix visibility in infer_inherent_method testcynecx2021-03-201-16/+16
|
* hir_ty: introduce visible_from_module param into method resolutioncynecx2021-03-204-4/+40
|
* hir_ty: check field visibility while iterating through autoderef candidatescynecx2021-03-201-14/+36
|
* hir_ty: add field_visibilities and fn_visibility queriescynecx2021-03-202-4/+33
|
* hir_ty: add tests around autoderef with visibility checkingcynecx2021-03-201-0/+119
|
* hir_ty: fix tests by making required methods publiccynecx2021-03-202-4/+4
|
* Merge #8119bors[bot]2021-03-204-12/+10
|\ | | | | | | | | | | | | | | 8119: Don't return a SourceChange on WillRenameFiles when nothing gets refactored r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * Don't return a SourceChange on WillRenameFiles when nothing gets refactoredLukas Wirth2021-03-202-8/+7
| |
| * Fix add_life_to_type label typoLukas Wirth2021-03-202-4/+3
| |
* | Merge #8117bors[bot]2021-03-2014-91/+130
|\ \ | | | | | | | | | | | | | | | | | | | | | 8117: Turn Obligation into something similar to chalk_ir::DomainGoal r=flodiebold a=flodiebold This includes starting to make use of Chalk's `Cast` trait. Co-authored-by: Florian Diebold <[email protected]>
| * | Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-2014-91/+130
| | | | | | | | | | | | This includes starting to make use of Chalk's `Cast` trait.
* | | Merge #8116bors[bot]2021-03-207-42/+8
|\| | | | | | | | | | | | | | | | | | | | | | | 8116: Remove WhereClause::Error r=flodiebold a=flodiebold Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway. Co-authored-by: Florian Diebold <[email protected]>
| * | Remove WhereClause::ErrorFlorian Diebold2021-03-207-42/+8
| | | | | | | | | | | | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.
* | | Merge #8115bors[bot]2021-03-2010-105/+89
|\| | | | | | | | | | | | | | | | | | | | | | | 8115: Rename GenericPredicate -> WhereClause r=flodiebold a=flodiebold Co-authored-by: Florian Diebold <[email protected]>
| * | Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-2010-105/+89
|/ /
* | Merge #8112bors[bot]2021-03-197-187/+248
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8112: Revamp `hir_def` attribute API r=Veykril a=jonas-schievink This adds `AttrsWithOwner`, which can construct an accurate `AttrSourceMap` without requiring additional information from the caller. r? @Veykril Co-authored-by: Jonas Schievink <[email protected]>
| * | Add `AttrsWithOwner` and clean up `source_map`Jonas Schievink2021-03-195-155/+216
| | |
| * | Move `AttrsOwnerNode` to syntax and make it publicJonas Schievink2021-03-193-33/+33
|/ /
* | Merge #8111bors[bot]2021-03-194-18/+15
|\ \ | | | | | | | | | | | | | | | | | | | | | 8111: Return `Either` from `MacroDefId::ast_id` r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Return `Either` from `MacroDefId::ast_id`Jonas Schievink2021-03-194-18/+15
|/ /
* | Merge #8110bors[bot]2021-03-191-3/+3
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | 8110: simplify r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | simplifyAleksey Kladov2021-03-191-3/+3
| | | | | | | | | | | | changelog skip
* | | Merge #8109bors[bot]2021-03-192-40/+66
|\| | | | | | | | | | | | | | | | | | | | | | | | | | 8109: Make ast editing more ergonomic r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Make ast editing more ergonomicAleksey Kladov2021-03-192-40/+66
| |/ | | | | | | changelog internal
* | Merge #8108bors[bot]2021-03-192-21/+48
|\ \ | |/ |/| | | | | | | | | | | 8108: Fix handling of `#![cfg]` in outline module file r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Fix handling of `#![cfg]` in outline module fileJonas Schievink2021-03-192-21/+48
|/
* Merge #8106bors[bot]2021-03-191-2/+5
|\ | | | | | | | | | | | | | | | | | | 8106: Add builtin macro-like attributes r=jonas-schievink a=jonas-schievink We also have to know about these to resolve them bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Add builtin macro-like attributesJonas Schievink2021-03-191-2/+5
|/
* Merge #8104bors[bot]2021-03-195-13/+13
|\ | | | | | | | | | | | | | | | | | | 8104: Rename derive-specific APIs r=jonas-schievink a=jonas-schievink Indicate that they're derive-specific bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Rename derive-specific APIsJonas Schievink2021-03-195-13/+13
|/
* Merge #8102bors[bot]2021-03-191-27/+17
|\ | | | | | | | | | | | | | | 8102: Cleanup qualify_path r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * Cleanup qualify_pathLukas Wirth2021-03-191-27/+17
|/
* Merge #8097bors[bot]2021-03-197-41/+32
|\ | | | | | | | | | | | | | | 8097: Parse extended_key_value_attributes r=jonas-schievink a=Veykril Companion PR https://github.com/rust-analyzer/ungrammar/pull/31 Co-authored-by: Lukas Wirth <[email protected]>
| * Parse extended_key_value_attributesLukas Wirth2021-03-197-41/+32
| |
* | Merge #8101bors[bot]2021-03-1910-131/+221
|\ \ | | | | | | | | | | | | | | | | | | | | | 8101: Replace Projection variant in GenericPredicate with AliasEq r=flodiebold a=Veykril Co-authored-by: Lukas Wirth <[email protected]>
| * | Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-1910-131/+221
| | |
* | | Merge #8099bors[bot]2021-03-181-1/+5
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 8099: Document fields of `ModuleId` r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Document fields of `ModuleId`Jonas Schievink2021-03-181-1/+5
|/ /
* | Merge #8095bors[bot]2021-03-182-3/+40
|\ \ | | | | | | | | | | | | | | | | | | | | | 8095: Fix associated items not being appended to paths in import_assets r=SomeoneToIgnore a=Veykril Co-authored-by: Lukas Wirth <[email protected]>
| * | Fix associated items not being appended to paths in import_assetsLukas Wirth2021-03-182-3/+40
| |/
* | Merge #8086bors[bot]2021-03-1814-31/+55
|\ \ | | | | | | | | | | | | | | | | | | | | | 8086: Use a highlight modifier for intra doc links r=Veykril a=Veykril Co-authored-by: Lukas Wirth <[email protected]>
| * | Use a highlight modifier for intra doc linksLukas Wirth2021-03-1814-31/+55
|/ /
* | Merge #8096bors[bot]2021-03-1815-73/+99
|\ \ | | | | | | | | | | | | | | | | | | | | | 8096: Chalkify TraitRef r=flodiebold a=flodiebold Co-authored-by: Florian Diebold <[email protected]>
| * | Chalkify TraitRefFlorian Diebold2021-03-1815-73/+99
|/ /
* | Merge #8083bors[bot]2021-03-183-26/+76
|\ \ | | | | | | | | | | | | | | | | | | | | | 8083: Track source file IDs in source mapping of Attrs r=jonas-schievink a=Veykril Fixes the panics/incorrect injection highlighting of outline module declarations until we figure out a nicer source mapping strategy for attributes. Co-authored-by: Lukas Wirth <[email protected]>
| * | Track source file IDs in source mapping of AttrsLukas Wirth2021-03-183-26/+76
| | |
* | | Merge #8094bors[bot]2021-03-181-1/+14
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8094: Fix infinite recursion when computing diagnostics for inner items r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>