]>
git.proxmox.com Git - rustc.git/blob - src/test/ui-fulldeps/internal-lints/ty_tykind_usage.rs
1 // compile-flags: -Z unstable-options
3 #![feature(rustc_private)]
5 extern crate rustc_middle
;
7 use rustc_middle
::ty
::{self, Ty, TyKind}
;
9 #[deny(rustc::usage_of_ty_tykind)]
11 let kind
= TyKind
::Bool
; //~ ERROR usage of `ty::TyKind::<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
::UnnormalizedProjection(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
36 TyKind
::Opaque(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
37 TyKind
::Param(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
38 TyKind
::Bound(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
39 TyKind
::Placeholder(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
40 TyKind
::Infer(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
41 TyKind
::Error
=> (), //~ ERROR usage of `ty::TyKind::<kind>`
44 if let ty
::Int(int_ty
) = kind {}
46 if let TyKind
::Int(int_ty
) = kind {}
//~ ERROR usage of `ty::TyKind::<kind>`
48 fn ty_kind(ty_bad
: TyKind
<'_
>, ty_good
: Ty
<'_
>) {}
//~ ERROR usage of `ty::TyKind`