Add unreachable cases to Terminator

spastorino · spastorino · commit 5749bd08e8be · 2023-05-11T14:44:53.000+02:00
diff --git a/compiler/rustc_smir/src/rustc_smir/mod.rs b/compiler/rustc_smir/src/rustc_smir/mod.rs
@@ -330,10 +330,7 @@ fn rustc_terminator_to_terminator(
             target: target.as_usize(),
             unwind: rustc_unwind_to_unwind(unwind),
         },
-        Yield { .. } => todo!(),
-        GeneratorDrop => Terminator::GeneratorDrop,
-        FalseEdge { .. } => todo!(),
-        FalseUnwind { .. } => todo!(),
         InlineAsm { .. } => todo!(),
+        Yield { .. } | GeneratorDrop | FalseEdge { .. } | FalseUnwind { .. } => unreachable!(),
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -330,10 +330,7 @@ fn rustc_terminator_to_terminator(`
`330`	`330`	`target: target.as_usize(),`
`331`	`331`	`unwind: rustc_unwind_to_unwind(unwind),`
`332`	`332`	`},`
`333`		`- Yield { .. } => todo!(),`
`334`		`- GeneratorDrop => Terminator::GeneratorDrop,`
`335`		`- FalseEdge { .. } => todo!(),`
`336`		`- FalseUnwind { .. } => todo!(),`
`337`	`333`	`InlineAsm { .. } => todo!(),`
	`334`	`+ Yield { .. } \| GeneratorDrop \| FalseEdge { .. } \| FalseUnwind { .. } => unreachable!(),`
`338`	`335`	`}`
`339`	`336`	`}`