indexing 0.4.1

Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

extern crate indexing;

use indexing::scope;

fn main() {
    let arr1 = [1, 2, 3, 4, 5];

    // can hold onto the pointers for later, as long they stay in the closure
    let _a = scope(&arr1[..], |arr| {
        let r = arr.pointer_range();        //~ ERROR borrowed data cannot be stored outside of its closure
        let r = r.nonempty().unwrap();      
        let i = r.first();
        println!("{}", &arr[i]);

        // should be invalid to return an index
        i
    });
}