elidable_type

Function elidable_type 

Source
pub fn elidable_type<'c>(ty: impl BasicType<'c>) -> bool
Expand description

An elidable type is one that holds no information, for example {}, the empty struct.

Currently the following types are elidable:

  • Empty structs, which may be packed, unpacked, named, or unnamed
  • Empty arrays of any type.