fn valid_qc(&mut self, qc: &QC) -> bool {
        if qc.fallback == 0 {
            return true;
        } else if qc.fallback == 1 {
            match self.leader_elector.get_fallback_leader(qc.view) {
                None => return false,
                Some(leader) => return qc.acceptor == leader,
            }
        }
        false
    }
// -- Start Safety Module --
// check if qc is nonfallback qc or endorsed fallback qc
Start Safety Module
check if qc is nonfallback qc or endorsed fallback qc
Start Safety Module check if qc is nonfallback qc or endorsed fallback qc
fn valid_qc(&mut self, qc: &QC) -> bool {
        if qc.fallback == 0 {
            return true;
        } else if qc.fallback == 1 {
            match self.leader_elector.get_fallback_leader(qc.view) {
                None => return false,
                Some(leader) => return qc.acceptor == leader,
            }
        }
        false
    }
fn valid_qc ( & mut self , qc : & QC ) -> bool { if qc . fallback == 0 { return true ; } else if qc . fallback == 1 { match self . leader_elector . get_fallback_leader ( qc . view ) { None => return false , Some ( leader ) => return qc . acceptor == leader , } } false }
Start Safety Module
check if qc is nonfallback qc or endorsed fallback qc
Start Safety Module check if qc is nonfallback qc or endorsed fallback qc
&mut self
qc
&QC
&mut self
qc
&QC