Constant rustc_symbol_name 

pub const rustc_symbol_name: Symbol;