Remove unneeded field from SwitchTargets

This commit is contained in:
Jakob Degen 2022-12-03 16:03:27 -08:00
parent 2d444a92f6
commit dc50bb0961

View file

@ -303,7 +303,6 @@ fn check_terminator<'tcx>(
TerminatorKind::SwitchInt { TerminatorKind::SwitchInt {
discr, discr,
switch_ty: _,
targets: _, targets: _,
} => check_operand(tcx, discr, span, body), } => check_operand(tcx, discr, span, body),