Constant finish_non_exhaustive

pub const finish_non_exhaustive: Symbol;