Method instance_to_index

src/analysis/callgraph/mod.rs:82–87

Search for the InstanceId of a given instance in CallGraph.

(&self, instance: &Instance<'tcx>)

        }
    }

    /// Search for the InstanceId of a given instance in CallGraph.
    pub fn instance_to_index(&self, instance: &Instance<'tcx>) -> Option<InstanceId> {
        self.graph
            .node_references()
            .find(|(_idx, inst)| inst.match_instance(instance))
            .map(|(idx, _)| idx)
    }