Module thin_vec
rustc_data_structures
A vector type optimized for cases where this size is usually 0 (c.f. SmallVector). The Option<Box<..>> wrapping allows us to represent a zero sized vector with None, which uses only a single (null) pointer.
SmallVector
Option<Box<..>>
None