pub fn substitute_footprint_skip_data(
        self,
        actuals: &[TempIndex],
        type_actuals: &[Type],
        func_env: &FunctionEnv,
        sub_map: &dyn AccessPathMap<AbsAddr>,
    ) -> Self {
        // TODO: is there a less hacky way to do this?
        fn no_op<T>(
            _: &mut T,
            _: &[TempIndex],
            _: &[Type],
            _: &FunctionEnv,
            _: &dyn AccessPathMap<AbsAddr>,
        ) {
        }
        self.substitute_footprint(actuals, type_actuals, func_env, sub_map, no_op)
    }
/// Same as `substitute_footprint`, but does not change the `data` field of any node
Same as `substitute_footprint`, but does not change the `data` field of any node
Same as ` substitute_footprint ` but does not change the ` data ` field of any node
pub fn substitute_footprint_skip_data(
        self,
        actuals: &[TempIndex],
        type_actuals: &[Type],
        func_env: &FunctionEnv,
        sub_map: &dyn AccessPathMap<AbsAddr>,
    ) -> Self {
        // TODO: is there a less hacky way to do this?
        fn no_op<T>(
            _: &mut T,
            _: &[TempIndex],
            _: &[Type],
            _: &FunctionEnv,
            _: &dyn AccessPathMap<AbsAddr>,
        ) {
        }
        self.substitute_footprint(actuals, type_actuals, func_env, sub_map, no_op)
    }
pub fn substitute_footprint_skip_data ( self , actuals : & [ TempIndex ] , type_actuals : & [ Type ] , func_env : & FunctionEnv , sub_map : & dyn AccessPathMap < AbsAddr > , ) -> Self { // TODO: is there a less hacky way to do this? fn no_op < T > ( _ : & mut T , _ : & [ TempIndex ] , _ : & [ Type ] , _ : & FunctionEnv , _ : & dyn AccessPathMap < AbsAddr > , ) { } self . substitute_footprint ( actuals , type_actuals , func_env , sub_map , no_op ) }
Same as `substitute_footprint`, but does not change the `data` field of any node
Same as ` substitute_footprint ` but does not change the ` data ` field of any node
self
actuals
&[TempIndex]
type_actuals
&[Type]
func_env
&FunctionEnv
sub_map
&dyn AccessPathMap<AbsAddr>