pub const rustc_specialization_trait: Symbol;