pub const rustc_coinductive: Symbol;