indexing (cargo): Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
Keywords: data-structure|no_std|lower-bound|generativity