fn strict_dereference(&self, expr: &MirScalarExpr) -> Option<MirScalarExpr> {
        let derefed = self.dereference(expr);
        match derefed {
            Some(ref expr) if !expr.support().is_empty() => derefed,
            _ => None,
        }
    }
/// Like `dereference` but only returns expressions that actually depend on
/// the original source.
Like `dereference` but only returns expressions that actually depend on
the original source.
Like ` dereference ` but only returns expressions that actually depend on the original source .
fn strict_dereference(&self, expr: &MirScalarExpr) -> Option<MirScalarExpr> {
        let derefed = self.dereference(expr);
        match derefed {
            Some(ref expr) if !expr.support().is_empty() => derefed,
            _ => None,
        }
    }
fn strict_dereference ( & self , expr : & MirScalarExpr ) -> Option < MirScalarExpr > { let derefed = self . dereference ( expr ) ; match derefed { Some ( ref expr ) if ! expr . support ( ) . is_empty ( ) => derefed , _ => None , } }
Like `dereference` but only returns expressions that actually depend on
the original source.
Like ` dereference ` but only returns expressions that actually depend on the original source .
&self
expr
&MirScalarExpr
&self
expr
&MirScalarExpr