Skip to content

Commit

Permalink
Rebase fallout.
Browse files Browse the repository at this point in the history
  • Loading branch information
cjgillot committed Nov 1, 2023
1 parent 3a55c28 commit 0f8f77f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 10 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@
StorageLive(_12);
StorageLive(_15);
_12 = discriminant(_6);
switchInt(move _12) -> [0: bb7, 1: bb5, otherwise: bb6];
switchInt(move _12) -> [0: bb6, 1: bb5, otherwise: bb2];
}

bb5: {
Expand All @@ -99,10 +99,6 @@
}

bb6: {
unreachable;
}

bb7: {
_5 = move ((_6 as Ok).0: std::ptr::NonNull<[u8]>);
StorageDead(_15);
StorageDead(_12);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@
StorageLive(_12);
StorageLive(_15);
_12 = discriminant(_6);
switchInt(move _12) -> [0: bb7, 1: bb5, otherwise: bb6];
switchInt(move _12) -> [0: bb6, 1: bb5, otherwise: bb2];
}

bb5: {
Expand All @@ -99,10 +99,6 @@
}

bb6: {
unreachable;
}

bb7: {
_5 = move ((_6 as Ok).0: std::ptr::NonNull<[u8]>);
StorageDead(_15);
StorageDead(_12);
Expand Down

0 comments on commit 0f8f77f

Please sign in to comment.