Constant dropck_parametricity 

pub const dropck_parametricity: Symbol;