pub fn new<F>(env: &'env GlobalEnv, replacer: &'rewriter mut F) -> Self
    where
        F: FnMut(NodeId, RewriteTarget) -> Option<Exp>,
    {
        ExpRewriter {
            env,
            replacer,
            type_args: &[],
            shadowed: VecDeque::new(),
        }
    }
/// Creates a new rewriter with the given replacer map.
Creates a new rewriter with the given replacer map.
Creates a new rewriter with the given replacer map .
pub fn new<F>(env: &'env GlobalEnv, replacer: &'rewriter mut F) -> Self
    where
        F: FnMut(NodeId, RewriteTarget) -> Option<Exp>,
    {
        ExpRewriter {
            env,
            replacer,
            type_args: &[],
            shadowed: VecDeque::new(),
        }
    }
pub fn new < F > ( env : & ' env GlobalEnv , replacer : & ' rewriter mut F ) -> Self where F : FnMut ( NodeId , RewriteTarget ) -> Option < Exp > , { ExpRewriter { env , replacer , type_args : & [ ] , shadowed : VecDeque :: new ( ) , } }
Creates a new rewriter with the given replacer map.
Creates a new rewriter with the given replacer map .
env
&'env GlobalEnv
replacer
&'rewriter mut F