Module array_vec
rustc_data_structures
A stack-allocated vector, allowing storage of N elements on the stack.