fn add_bound_computation(&mut self, computation: &FlagComputation) {
        self.add_flags(computation.flags);

        // The types that contributed to `computation` occurred within
        // a region binder, so subtract one from the region depth
        // within when adding the depth to `self`.
        let outer_exclusive_binder = computation.outer_exclusive_binder;
        if outer_exclusive_binder > ty::INNERMOST {
            self.add_exclusive_binder(outer_exclusive_binder.shifted_out(1));
        } else {
            // otherwise, this binder captures nothing
        }
    }
/// Adds the flags/depth from a set of types that appear within the current type, but within a
/// region binder.
Adds the flags/depth from a set of types that appear within the current type, but within a
region binder.
Adds the flags / depth from a set of types that appear within the current type but within a region binder .
fn add_bound_computation(&mut self, computation: &FlagComputation) {
        self.add_flags(computation.flags);
        // The types that contributed to `computation` occurred within
        // a region binder, so subtract one from the region depth
        // within when adding the depth to `self`.
        let outer_exclusive_binder = computation.outer_exclusive_binder;
        if outer_exclusive_binder > ty::INNERMOST {
            self.add_exclusive_binder(outer_exclusive_binder.shifted_out(1));
        } else {
            // otherwise, this binder captures nothing
        }
    }
fn add_bound_computation ( & mut self , computation : & FlagComputation ) { self . add_flags ( computation . flags ) ; // The types that contributed to `computation` occurred within // a region binder, so subtract one from the region depth // within when adding the depth to `self`. let outer_exclusive_binder = computation . outer_exclusive_binder ; if outer_exclusive_binder > ty :: INNERMOST { self . add_exclusive_binder ( outer_exclusive_binder . shifted_out ( 1 ) ) ; } else { // otherwise, this binder captures nothing } }
Adds the flags/depth from a set of types that appear within the current type, but within a
region binder.
Adds the flags / depth from a set of types that appear within the current type but within a region binder .
&mut self
computation
&FlagComputation
&mut self
computation
&FlagComputation