1use flux_attrs::*; 2 3#[extern_spec(core::ops)] 4#[refined_by(start: Idx, end: Idx)] 5struct Range<Idx> { 6 #[field(Idx[start])] 7 start: Idx, 8 #[field(Idx[end])] 9 end: Idx, 10}