error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:13:16
   |
LL |     let kind = TyKind::Bool;
   |                ^^^^^^ help: try using `ty::<kind>` directly: `ty`
   |
note: the lint level is defined here
  --> $DIR/ty_tykind_usage.rs:11:8
   |
LL | #[deny(rustc::usage_of_ty_tykind)]
   |        ^^^^^^^^^^^^^^^^^^^^^^^^^

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:16:9
   |
LL |         TyKind::Bool => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:17:9
   |
LL |         TyKind::Char => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:18:9
   |
LL |         TyKind::Int(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:19:9
   |
LL |         TyKind::Uint(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:20:9
   |
LL |         TyKind::Float(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:21:9
   |
LL |         TyKind::Adt(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:22:9
   |
LL |         TyKind::Foreign(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:23:9
   |
LL |         TyKind::Str => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:24:9
   |
LL |         TyKind::Array(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:25:9
   |
LL |         TyKind::Slice(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:26:9
   |
LL |         TyKind::RawPtr(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:27:9
   |
LL |         TyKind::Ref(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:28:9
   |
LL |         TyKind::FnDef(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:29:9
   |
LL |         TyKind::FnPtr(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:30:9
   |
LL |         TyKind::Dynamic(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:31:9
   |
LL |         TyKind::Closure(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:32:9
   |
LL |         TyKind::Generator(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:33:9
   |
LL |         TyKind::GeneratorWitness(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:34:9
   |
LL |         TyKind::Never => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:35:9
   |
LL |         TyKind::Tuple(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:36:9
   |
LL |         TyKind::Alias(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:37:9
   |
LL |         TyKind::Param(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:38:9
   |
LL |         TyKind::Bound(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:39:9
   |
LL |         TyKind::Placeholder(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:40:9
   |
LL |         TyKind::Infer(..) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:41:9
   |
LL |         TyKind::Error(_) => (),
   |         ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:46:12
   |
LL |     if let TyKind::Int(int_ty) = kind {}
   |            ^^^^^^ help: try using `ty::<kind>` directly: `ty`

error: usage of `ty::TyKind`
  --> $DIR/ty_tykind_usage.rs:48:24
   |
LL |     fn ty_kind(ty_bad: TyKind<'_>, ty_good: Ty<'_>) {}
   |                        ^^^^^^^^^^
   |
   = help: try using `Ty` instead

error: usage of `ty::TyKind`
  --> $DIR/ty_tykind_usage.rs:50:37
   |
LL |     fn ir_ty_kind<I: Interner>(bad: IrTyKind<I>) -> IrTyKind<I> {
   |                                     ^^^^^^^^^^^
   |
   = help: try using `Ty` instead

error: usage of `ty::TyKind`
  --> $DIR/ty_tykind_usage.rs:50:53
   |
LL |     fn ir_ty_kind<I: Interner>(bad: IrTyKind<I>) -> IrTyKind<I> {
   |                                                     ^^^^^^^^^^^
   |
   = help: try using `Ty` instead

error: usage of `ty::TyKind::<kind>`
  --> $DIR/ty_tykind_usage.rs:53:9
   |
LL |         IrTyKind::Bool
   |         --------^^^^^^
   |         |
   |         help: try using `ty::<kind>` directly: `ty`

error: aborting due to 32 previous errors

