Function extern_spec_std_ops_RangeBounds_T_end_bound 

pub fn extern_spec_std_ops_RangeBounds_T_end_bound<Self_, T>(
    self_: &Self_,
) -> Bound<&T>
where
    Self_: RangeBounds<T> + ?Sized,
    T: ?Sized + DeepModel,
    T::DeepModelTy: OrdLogic,

extern spec for ::std::ops::RangeBounds::end_bound

This is not a real function: its only use is for documentation.

ensures

result == self.end_bound_logic()