From bae89cd0bcc26a38046c2e27f827cee14481f329 Mon Sep 17 00:00:00 2001
From: Padraic Fanning <fanninpm@miamioh.edu>
Date: Thu, 17 Dec 2020 11:41:32 -0500
Subject: [PATCH] Add 67684

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

diff --git a/ices/67684.sh b/ices/67684.sh
new file mode 100644
index 00000000..1c424de1
--- /dev/null
+++ b/ices/67684.sh
@@ -0,0 +1,41 @@
+#!/bin/bash
+
+rustc -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 --crate-type lib - << 'EOF'
+trait ParseError {
+    type StreamError;
+}
+impl<T> ParseError for T {
+    type StreamError = ();
+}
+trait Stream {
+    type Error;
+}
+trait Parser
+where
+    <Self as Parser>::PartialState: Default,
+{
+    type PartialState;
+    fn parse_mode(&Self, Self::PartialState) {}
+}
+struct AndThen<A, B>(core::marker::PhantomData<(A, B)>);
+impl<A, B> Parser for AndThen<A, B>
+where
+    A: Stream,
+    B: Into<<A::Error as ParseError>::StreamError>,
+{
+    type PartialState = ();
+}
+fn expr<A>() -> impl Parser
+where
+    A: Stream,
+{
+    AndThen::<A, ()>(core::marker::PhantomData)
+}
+fn parse_mode_impl<A>()
+where
+    A::Error: ParseError,
+    A: Stream,
+{
+    Parser::parse_mode(&expr::<A>(), Default::default())
+}
+EOF