pub const rustc_lint_opt_ty: Symbol;