Method visit_local_decl

src/analysis/callgraph/mod.rs:231–253

Find where the closure is defined rather than called, including the closure instance and the arg. e.g., let mut _20: [closure@src/main.rs:13:28: 16:6]; _20 is of type Closure, but it is actually the arg that captures the variables in the defining function.

(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

    /// e.g., let mut _20: [closure@src/main.rs:13:28: 16:6];
    ///
    /// _20 is of type Closure, but it is actually the arg that captures
    /// the variables in the defining function.
    fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>) {
        let func_ty = self.caller.instantiate_mir_and_normalize_erasing_regions(
            self.tcx,
            self.typing_env,
            EarlyBinder::bind(local_decl.ty),
        );
        if let TyKind::Closure(def_id, substs) = func_ty.kind() {
            match self.body.local_kind(local) {
                LocalKind::Arg | LocalKind::ReturnPointer => {}
                _ => {
                    if let Some(callee_instance) =
                        Instance::try_resolve(self.tcx, self.typing_env, *def_id, substs)
                            .ok()
                            .flatten()
                    {
                        self.callsites
                            .push((callee_instance, CallSiteLocation::ClosureDef(local, None)));
                    }
                }
            }
        }
        self.super_local_decl(local, local_decl);
    }
}