recognise data contructor calls

Author: dingxiangfei2009

compiler/rustc_hir_analysis/src/check/scope_map.rs

@@ -164,6 +164,23 @@ impl<'tcx> ScopeCollector<'tcx> {
             cx: Context { temp_lifetime: TemporaryLifetimeScopes::new_static(), var_parent: None },
         }
     }
+
+    fn is_data_constructor(&self, callee: hir::Expr<'_>) -> bool {
+        match callee.kind {
+            hir::ExprKind::Path(hir::QPath::Resolved(
+                _,
+                hir::Path {
+                    res:
+                        hir::def::Res::Def(
+                            hir::def::DefKind::Ctor(_, _) | hir::def::Res::SelfCtor(_),
+                            _,
+                        ),
+                    ..
+                },
+            )) => true,
+            _ => false,
+        }
+    }
 }
 
 impl<'tcx> ScopeCollector<'tcx> {
@@ -336,7 +353,7 @@ impl<'tcx> Visitor<'tcx> for ScopeCollector<'tcx> {
             }
 
             hir::ExprKind::Struct(_path, fields, struct_base) => {
-                for hir::ExprField { expr, .. } in fields {
+                for &hir::ExprField { expr, .. } in fields {
                     self.cx.temp_lifetime = prev_temp_lifetime;
                     self.cx.temp_lifetime.is_result = true;
                     self.visit_expr(expr);
@@ -349,6 +366,14 @@ impl<'tcx> Visitor<'tcx> for ScopeCollector<'tcx> {
                 }
             }
 
+            hir::ExprKind::Call(callee, args) if self.is_data_constructor(callee) => {
+                for &hir::ExprField { expr, .. } in args {
+                    self.cx.temp_lifetime = prev_temp_lifetime;
+                    self.cx.temp_lifetime.is_result = true;
+                    self.visit_expr(expr);
+                }
+            }
+
             hir::ExprKind::Tup(subexprs) => {
                 for subexpr in subexprs {
                     self.cx.temp_lifetime = prev_temp_lifetime;