Module thin_vec
rustc_ap_rustc_data_structures
A vector type optimized for cases where this size is usually 0 (cf. 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