projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| 532ac7d7 XL |
1 | // compile-flags: -Z unstable-options |
| 2 | ||
| 3 | #![feature(rustc_private)] | |
| 4 | ||
| ba9703b0 | 5 | extern crate rustc_middle; |
| 532ac7d7 | 6 | |
| ba9703b0 | 7 | use rustc_middle::ty::{self, Ty, TyKind}; |
| 532ac7d7 | 8 | |
| 416331ca | 9 | #[deny(rustc::usage_of_ty_tykind)] |
| 532ac7d7 | 10 | fn main() { |
| e74abb32 | 11 | let kind = TyKind::Bool; //~ ERROR usage of `ty::TyKind::<kind>` |
| 532ac7d7 | 12 | |
| e74abb32 | 13 | match kind { |
| 532ac7d7 XL |
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>` | |
| 532ac7d7 XL |
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>` | |
| f035d41b | 40 | TyKind::Error(_) => (), //~ ERROR usage of `ty::TyKind::<kind>` |
| 532ac7d7 XL |
41 | } |
| 42 | ||
| e74abb32 | 43 | if let ty::Int(int_ty) = kind {} |
| 532ac7d7 | 44 | |
| e74abb32 | 45 | if let TyKind::Int(int_ty) = kind {} //~ ERROR usage of `ty::TyKind::<kind>` |
| 532ac7d7 XL |
46 | |
| 47 | fn ty_kind(ty_bad: TyKind<'_>, ty_good: Ty<'_>) {} //~ ERROR usage of `ty::TyKind` | |
| 48 | } |