From 6b52188a8f892d4136e0e17367878d040a90adf6 Mon Sep 17 00:00:00 2001
From: Padraic Fanning <fanninpm@miamioh.edu>
Date: Wed, 16 Dec 2020 17:10:19 -0500
Subject: [PATCH] Add 78651

Locally running `cargo run` and running `rustc` directly produced different
results.

Call rustc on 78651 directly instead of indirectly (through cargo).

Issue: rust-lang/rust#78651
---
 ices/78651.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 ices/78651.sh

diff --git a/ices/78651.sh b/ices/78651.sh
new file mode 100644
index 00000000..ba65598b
--- /dev/null
+++ b/ices/78651.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+rustc - <<EOF
+use std::result;
+impl result {
+    fn into_future() -> Err {}
+}
+EOF