From 75293d61bd2ad43d23544fedef95c60abb45928c Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Sun, 24 Dec 2017 20:31:06 -0500
Subject: [PATCH] cover new Abort terminator kind
---
src/terminator/mod.rs | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/terminator/mod.rs b/src/terminator/mod.rs
index b68c6ae..a65cd02 100644
--- a/src/terminator/mod.rs
+++ b/src/terminator/mod.rs
@@ -229,6 +229,7 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
DropAndReplace { .. } => unimplemented!(),
Resume => unimplemented!(),
+ Abort => unimplemented!(),
Unreachable => Err(EvalError::Unreachable),
Yield { .. } => unimplemented!(),
GeneratorDrop => unimplemented!(),
--
GitLab