Constant non_exhaustive 

pub const non_exhaustive: Symbol;