src/test/ui-fulldeps/internal-lints/ty_tykind_usage.rs

   1 // compile-flags: -Z unstable-options
   2
   3 #![feature(rustc_private)]
   4
   5 extern crate rustc_middle;
   6
   7 use rustc_middle::ty::{self, Ty, TyKind};
   8
   9 #[deny(rustc::usage_of_ty_tykind)]
  10 fn main() {
  11     let kind = TyKind::Bool; //~ ERROR usage of `ty::TyKind::<kind>`
  12
  13     match kind {
  14         TyKind::Bool => (), //~ ERROR usage of `ty::TyKind::<kind>`
  15         TyKind::Char => (), //~ ERROR usage of `ty::TyKind::<kind>`
  16         TyKind::Int(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  17         TyKind::Uint(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  18         TyKind::Float(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  19         TyKind::Adt(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  20         TyKind::Foreign(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  21         TyKind::Str => (), //~ ERROR usage of `ty::TyKind::<kind>`
  22         TyKind::Array(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  23         TyKind::Slice(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  24         TyKind::RawPtr(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  25         TyKind::Ref(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  26         TyKind::FnDef(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  27         TyKind::FnPtr(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  28         TyKind::Dynamic(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  29         TyKind::Closure(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  30         TyKind::Generator(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  31         TyKind::GeneratorWitness(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  32         TyKind::Never => (), //~ ERROR usage of `ty::TyKind::<kind>`
  33         TyKind::Tuple(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  34         TyKind::Projection(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  35         TyKind::Opaque(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  36         TyKind::Param(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  37         TyKind::Bound(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  38         TyKind::Placeholder(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  39         TyKind::Infer(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  40         TyKind::Error(_) => (), //~ ERROR usage of `ty::TyKind::<kind>`
  41     }
  42
  43     if let ty::Int(int_ty) = kind {}
  44
  45     if let TyKind::Int(int_ty) = kind {} //~ ERROR usage of `ty::TyKind::<kind>`
  46
  47     fn ty_kind(ty_bad: TyKind<'_>, ty_good: Ty<'_>) {} //~ ERROR usage of `ty::TyKind`
  48 }