flux_core/slice/
iter.rs

1use flux_attrs::*;
2
3#[extern_spec(core::slice)]
4#[refined_by(idx: int, len: int)]
5struct Iter<'a, T>;
6
7#[extern_spec(core::slice)]
8impl<'a, T> Iter<'a, T> {
9    #[sig(fn(&Self[@it]) -> &[T][it.len])]
10    fn as_slice(&self) -> &'a [T];
11}