- | TerminatorKind::Assert { target, .. } => Some(target).into_iter().chain(&[]),
- TerminatorKind::Yield { .. } | TerminatorKind::GeneratorDrop => {
- None.into_iter().chain(&[])
- }
- TerminatorKind::FalseEdges { real_target, .. }
- | TerminatorKind::FalseUnwind { real_target, .. } => {
- Some(real_target).into_iter().chain(&[])
+ | TerminatorKind::Assert { target, .. }
+ | TerminatorKind::FalseEdges { real_target: target, .. }
+ | TerminatorKind::FalseUnwind { real_target: target, .. }
+ | TerminatorKind::Call { destination: Some((_, target)), .. } => {
+ Some(target).into_iter().chain(&[])