pub fn new_with_options(
        fun_env: &'env FunctionEnv<'env>,
        data: FunctionData,
        options: FunctionDataBuilderOptions,
    ) -> Self {
        let next_free_attr_index = data.next_free_attr_index();
        let next_free_label_index = data.next_free_label_index();
        FunctionDataBuilder {
            fun_env,
            data,
            options,
            next_free_attr_index,
            next_free_label_index,
            current_loc: fun_env.get_loc(),
            next_vc_info: None,
            next_debug_comment: None,
        }
    }
/// Creates a new builder with customized options
Creates a new builder with customized options
Creates a new builder with customized options
pub fn new_with_options(
        fun_env: &'env FunctionEnv<'env>,
        data: FunctionData,
        options: FunctionDataBuilderOptions,
    ) -> Self {
        let next_free_attr_index = data.next_free_attr_index();
        let next_free_label_index = data.next_free_label_index();
        FunctionDataBuilder {
            fun_env,
            data,
            options,
            next_free_attr_index,
            next_free_label_index,
            current_loc: fun_env.get_loc(),
            next_vc_info: None,
            next_debug_comment: None,
        }
    }
pub fn new_with_options ( fun_env : & ' env FunctionEnv < ' env > , data : FunctionData , options : FunctionDataBuilderOptions , ) -> Self { let next_free_attr_index = data . next_free_attr_index ( ) ; let next_free_label_index = data . next_free_label_index ( ) ; FunctionDataBuilder { fun_env , data , options , next_free_attr_index , next_free_label_index , current_loc : fun_env . get_loc ( ) , next_vc_info : None , next_debug_comment : None , } }
Creates a new builder with customized options
Creates a new builder with customized options
fun_env
&'env FunctionEnv<'env>
data
FunctionData
options
FunctionDataBuilderOptions