Class DeadlockDetector

src/detector/lock/mod.rs:61–65

Detect doublelock and conflictlock.

/// Detect doublelock and conflictlock.
pub struct DeadlockDetector<'tcx> {
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    pub lockguard_relations: FxHashSet<(LockGuardId, LockGuardId)>,
}

impl<'tcx> DeadlockDetector<'tcx> {
    pub fn new(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>) -> Self {
        Self {