Constant rustc_coinductive

pub const rustc_coinductive: Symbol;