Method from

src/analysis/pointsto/mod.rs:696–701

(lockguard_id: LockGuardId)

/// Basically, `AliasId` and `LockGuardId` share the same info.
impl std::convert::From<LockGuardId> for AliasId {
    fn from(lockguard_id: LockGuardId) -> Self {
        Self {
            instance_id: lockguard_id.instance_id,
            local: lockguard_id.local,
        }
    }
}

/// Alias analysis based on points-to info.