//@ compile-flags: -Z unstable-options

#![feature(rustc_private)]

extern crate rustc_middle;
extern crate rustc_type_ir;

use rustc_middle::ty::{self, Ty, TyKind};
use rustc_type_ir::{Interner, TyKind as IrTyKind};

#[deny(rustc::usage_of_ty_tykind)]
fn main() {
    let kind = TyKind::Bool; //~ ERROR usage of `ty::TyKind::<kind>`

    match kind {
        TyKind::Bool => (),                 //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Char => (),                 //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Int(..) => (),              //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Uint(..) => (),             //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Float(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Adt(..) => (),              //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Foreign(..) => (),          //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Str => (),                  //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Array(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Pat(..) => (),              //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Slice(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::RawPtr(..) => (),           //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Ref(..) => (),              //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::FnDef(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::FnPtr(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Dynamic(..) => (),          //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Closure(..) => (),          //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::CoroutineClosure(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Coroutine(..) => (),        //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::CoroutineWitness(..) => (), //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Never => (),                //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Tuple(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Alias(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Param(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Bound(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Placeholder(..) => (),      //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Infer(..) => (),            //~ ERROR usage of `ty::TyKind::<kind>`
        TyKind::Error(_) => (),             //~ ERROR usage of `ty::TyKind::<kind>`
    }

    if let ty::Int(int_ty) = kind {}

    if let TyKind::Int(int_ty) = kind {} //~ ERROR usage of `ty::TyKind::<kind>`

    fn ty_kind(ty_bad: TyKind<'_>, ty_good: Ty<'_>) {} //~ ERROR usage of `ty::TyKind`

    fn ir_ty_kind<I: Interner>(bad: IrTyKind<I>) -> IrTyKind<I> {
        //~^ ERROR usage of `ty::TyKind`
        //~| ERROR usage of `ty::TyKind`
        IrTyKind::Bool //~ ERROR usage of `ty::TyKind::<kind>`
    }
}