MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / new

Method new

src/detector/lock/mod.rs:68–74  ·  view source on GitHub ↗
(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>)

Source from the content-addressed store, hash-verified

66impl<'tcx> DeadlockDetector<'tcx> {
67 pub fn new(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>) -> Self {
68 Self {
69 tcx,
70 typing_env,
71 lockguard_relations: Default::default(),
72 }
73 }
74
75 fn collect_lockguards(
76 &self,
77 callgraph: &CallGraph<'tcx>,

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected