File tree Expand file tree Collapse file tree 2 files changed +2
-24
lines changed Expand file tree Collapse file tree 2 files changed +2
-24
lines changed Original file line number Diff line number Diff line change @@ -381,21 +381,7 @@ impl<'tcx> ToTrace<'tcx> for ty::GenericArg<'tcx> {
381
381
(GenericArgKind::Const(a), GenericArgKind::Const(b)) => {
382
382
ValuePairs::Terms(ExpectedFound::new(true, a.into(), b.into()))
383
383
}
384
-
385
- (
386
- GenericArgKind::Lifetime(_),
387
- GenericArgKind::Type(_) | GenericArgKind::Const(_),
388
- )
389
- | (
390
- GenericArgKind::Type(_),
391
- GenericArgKind::Lifetime(_) | GenericArgKind::Const(_),
392
- )
393
- | (
394
- GenericArgKind::Const(_),
395
- GenericArgKind::Lifetime(_) | GenericArgKind::Type(_),
396
- ) => {
397
- bug!("relating different kinds: {a:?} {b:?}")
398
- }
384
+ _ => bug!("relating different kinds: {a:?} {b:?}"),
399
385
},
400
386
}
401
387
}
Original file line number Diff line number Diff line change @@ -212,15 +212,7 @@ impl<'tcx> Relate<TyCtxt<'tcx>> for ty::GenericArg<'tcx> {
212
212
(ty::GenericArgKind::Const(a_ct), ty::GenericArgKind::Const(b_ct)) => {
213
213
Ok(relation.relate(a_ct, b_ct)?.into())
214
214
}
215
- (ty::GenericArgKind::Lifetime(unpacked), x) => {
216
- bug!("impossible case reached: can't relate: {:?} with {:?}", unpacked, x)
217
- }
218
- (ty::GenericArgKind::Type(unpacked), x) => {
219
- bug!("impossible case reached: can't relate: {:?} with {:?}", unpacked, x)
220
- }
221
- (ty::GenericArgKind::Const(unpacked), x) => {
222
- bug!("impossible case reached: can't relate: {:?} with {:?}", unpacked, x)
223
- }
215
+ _ => bug!("impossible case reached: can't relate: {a:?} with {b:?}"),
224
216
}
225
217
}
226
218
}
You can’t perform that action at this time.
0 commit comments