1 error: usage of `ty::TyKind::<kind>`
2 --> $DIR/ty_tykind_usage.rs:13:16
4 LL | let kind = TyKind::Bool;
5 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
7 note: the lint level is defined here
8 --> $DIR/ty_tykind_usage.rs:11:8
10 LL | #[deny(rustc::usage_of_ty_tykind)]
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^
13 error: usage of `ty::TyKind::<kind>`
14 --> $DIR/ty_tykind_usage.rs:16:9
16 LL | TyKind::Bool => (),
17 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
19 error: usage of `ty::TyKind::<kind>`
20 --> $DIR/ty_tykind_usage.rs:17:9
22 LL | TyKind::Char => (),
23 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
25 error: usage of `ty::TyKind::<kind>`
26 --> $DIR/ty_tykind_usage.rs:18:9
28 LL | TyKind::Int(..) => (),
29 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
31 error: usage of `ty::TyKind::<kind>`
32 --> $DIR/ty_tykind_usage.rs:19:9
34 LL | TyKind::Uint(..) => (),
35 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
37 error: usage of `ty::TyKind::<kind>`
38 --> $DIR/ty_tykind_usage.rs:20:9
40 LL | TyKind::Float(..) => (),
41 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
43 error: usage of `ty::TyKind::<kind>`
44 --> $DIR/ty_tykind_usage.rs:21:9
46 LL | TyKind::Adt(..) => (),
47 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
49 error: usage of `ty::TyKind::<kind>`
50 --> $DIR/ty_tykind_usage.rs:22:9
52 LL | TyKind::Foreign(..) => (),
53 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
55 error: usage of `ty::TyKind::<kind>`
56 --> $DIR/ty_tykind_usage.rs:23:9
58 LL | TyKind::Str => (),
59 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
61 error: usage of `ty::TyKind::<kind>`
62 --> $DIR/ty_tykind_usage.rs:24:9
64 LL | TyKind::Array(..) => (),
65 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
67 error: usage of `ty::TyKind::<kind>`
68 --> $DIR/ty_tykind_usage.rs:25:9
70 LL | TyKind::Slice(..) => (),
71 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
73 error: usage of `ty::TyKind::<kind>`
74 --> $DIR/ty_tykind_usage.rs:26:9
76 LL | TyKind::RawPtr(..) => (),
77 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
79 error: usage of `ty::TyKind::<kind>`
80 --> $DIR/ty_tykind_usage.rs:27:9
82 LL | TyKind::Ref(..) => (),
83 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
85 error: usage of `ty::TyKind::<kind>`
86 --> $DIR/ty_tykind_usage.rs:28:9
88 LL | TyKind::FnDef(..) => (),
89 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
91 error: usage of `ty::TyKind::<kind>`
92 --> $DIR/ty_tykind_usage.rs:29:9
94 LL | TyKind::FnPtr(..) => (),
95 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
97 error: usage of `ty::TyKind::<kind>`
98 --> $DIR/ty_tykind_usage.rs:30:9
100 LL | TyKind::Dynamic(..) => (),
101 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
103 error: usage of `ty::TyKind::<kind>`
104 --> $DIR/ty_tykind_usage.rs:31:9
106 LL | TyKind::Closure(..) => (),
107 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
109 error: usage of `ty::TyKind::<kind>`
110 --> $DIR/ty_tykind_usage.rs:32:9
112 LL | TyKind::Generator(..) => (),
113 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
115 error: usage of `ty::TyKind::<kind>`
116 --> $DIR/ty_tykind_usage.rs:33:9
118 LL | TyKind::GeneratorWitness(..) => (),
119 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
121 error: usage of `ty::TyKind::<kind>`
122 --> $DIR/ty_tykind_usage.rs:34:9
124 LL | TyKind::Never => (),
125 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
127 error: usage of `ty::TyKind::<kind>`
128 --> $DIR/ty_tykind_usage.rs:35:9
130 LL | TyKind::Tuple(..) => (),
131 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
133 error: usage of `ty::TyKind::<kind>`
134 --> $DIR/ty_tykind_usage.rs:36:9
136 LL | TyKind::Alias(..) => (),
137 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
139 error: usage of `ty::TyKind::<kind>`
140 --> $DIR/ty_tykind_usage.rs:37:9
142 LL | TyKind::Param(..) => (),
143 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
145 error: usage of `ty::TyKind::<kind>`
146 --> $DIR/ty_tykind_usage.rs:38:9
148 LL | TyKind::Bound(..) => (),
149 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
151 error: usage of `ty::TyKind::<kind>`
152 --> $DIR/ty_tykind_usage.rs:39:9
154 LL | TyKind::Placeholder(..) => (),
155 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
157 error: usage of `ty::TyKind::<kind>`
158 --> $DIR/ty_tykind_usage.rs:40:9
160 LL | TyKind::Infer(..) => (),
161 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
163 error: usage of `ty::TyKind::<kind>`
164 --> $DIR/ty_tykind_usage.rs:41:9
166 LL | TyKind::Error(_) => (),
167 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
169 error: usage of `ty::TyKind::<kind>`
170 --> $DIR/ty_tykind_usage.rs:46:12
172 LL | if let TyKind::Int(int_ty) = kind {}
173 | ^^^^^^ help: try using `ty::<kind>` directly: `ty`
175 error: usage of `ty::TyKind`
176 --> $DIR/ty_tykind_usage.rs:48:24
178 LL | fn ty_kind(ty_bad: TyKind<'_>, ty_good: Ty<'_>) {}
181 = help: try using `Ty` instead
183 error: usage of `ty::TyKind`
184 --> $DIR/ty_tykind_usage.rs:50:37
186 LL | fn ir_ty_kind<I: Interner>(bad: IrTyKind<I>) -> IrTyKind<I> {
189 = help: try using `Ty` instead
191 error: usage of `ty::TyKind`
192 --> $DIR/ty_tykind_usage.rs:50:53
194 LL | fn ir_ty_kind<I: Interner>(bad: IrTyKind<I>) -> IrTyKind<I> {
197 = help: try using `Ty` instead
199 error: usage of `ty::TyKind::<kind>`
200 --> $DIR/ty_tykind_usage.rs:53:9
205 | help: try using `ty::<kind>` directly: `ty`
207 error: aborting due to 32 previous errors