Constant rustc_coinductive 

pub const rustc_coinductive: Symbol;