Fix SwitchTarget pretty print

We currently rely on the order of successors to be conditional branches
first, followed by the otherwise target.

Author: celinval

compiler/stable_mir/src/mir/body.rs

@@ -672,19 +672,19 @@ pub struct SwitchTargets {
 impl SwitchTargets {
     /// All possible targets including the `otherwise` target.
     pub fn all_targets(&self) -> Successors {
-        Some(self.otherwise)
-            .into_iter()
-            .chain(self.branches.iter().map(|(_, target)| *target))
+        self.branches.iter().map(|(_, target)| *target).chain(Some(self.otherwise))
             .collect()
     }
 
     /// The `otherwise` branch target.
     pub fn otherwise(&self) -> BasicBlockIdx {
+        eprintln!("Otherwise: {:?}", self.otherwise);
         self.otherwise
     }
 
     /// The conditional targets which are only taken if the pattern matches the given value.
     pub fn branches(&self) -> impl Iterator<Item = (u128, BasicBlockIdx)> + '_ {
+        eprintln!("Branches: {:?}", self.branches);
         self.branches.iter().copied()
     }
 
@@ -695,6 +695,7 @@ impl SwitchTargets {
 
     /// Create a new SwitchTargets from the given branches and `otherwise` target.
     pub fn new(branches: Vec<(u128, BasicBlockIdx)>, otherwise: BasicBlockIdx) -> SwitchTargets {
+        eprintln!("Branches: {branches:?} -- otherwise: {otherwise:?}");
         SwitchTargets { branches, otherwise }
     }
 }