pub const rustc_deprecated: Symbol;