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:22: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:24: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:26: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:26: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:29:9
   |
LL |         IrTyKind::Bool
   |         --------^^^^^^
   |         |
   |         help: try using `ty::<kind>` directly: `ty`

error: aborting due to 7 previous errors