Constant const_ty_placeholder 

pub const const_ty_placeholder: Symbol;