why use the "instance" rather than implementing a block visitor to build the callgraph?

[ffanyq]

why use the "instance" rather than implementing a block visitor to build the callgraph?

[BurtonQin]

The implementation uses Instance::resolve to get the callee instance.

lockbud/src/analysis/callgraph/mod.rs

Line 211 in 69e1399

if let Some(callee) = Instance::resolve(self.tcx, self.param_env, def_id, substs)

An instance is more suitable than a function's def_id in the analysis in that
i) the instance here is fully instantiated, providing concrete type info and handy APIs.
and ii) eliminating dead functions.

[ffanyq]

Thanks for your answer!