mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[save-analysis] Reference the variant not enum at struct-literal construction.

Browse Source 
Closes #96985
This commit is contained in:
Kelsey Gilbert 2022-05-10 16:15:48 -07:00
parent 88860d5474
commit 5fde765df0
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/rustc_save_analysis/src/dump_visitor.rs
View File

@ -780,13 +780,18 @@ impl<'tcx> DumpVisitor<'tcx> {
variant: &'tcx ty::VariantDef, variant: &'tcx ty::VariantDef,
rest: Option<&'tcx hir::Expr<'tcx>>, rest: Option<&'tcx hir::Expr<'tcx>>,
) { ) {
if let Some(struct_lit_data) = self.save_ctxt.get_expr_data(ex) { if let Some(_ex_res_data) = self.save_ctxt.get_expr_data(ex) {
if let hir::QPath::Resolved(_, path) = path { if let hir::QPath::Resolved(_, path) = path {
self.write_sub_paths_truncated(path); self.write_sub_paths_truncated(path);
} }
down_cast_data!(struct_lit_data, RefData, ex.span); // For MyEnum::MyVariant, get_expr_data gives us MyEnum, not MyVariant.
// For recording the span's ref id, we want MyVariant.
if !generated_code(ex.span) { if !generated_code(ex.span) {
self.dumper.dump_ref(struct_lit_data); let sub_span = path.last_segment_span();
let span = self.save_ctxt.span_from_span(sub_span);
let reff =
Ref { kind: RefKind::Type, span, ref_id: id_from_def_id(variant.def_id) };
self.dumper.dump_ref(reff);
} }
for field in fields { for field in fields {