From 973f222ee97fb9664fed31dad31580f0a5a1cca6 Mon Sep 17 00:00:00 2001
From: Padraic Fanning <fanninpm@miamioh.edu>
Date: Mon, 28 Dec 2020 22:08:33 -0500
Subject: [PATCH] Add 80447

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

diff --git a/ices/80447.sh b/ices/80447.sh
new file mode 100644
index 00000000..d19bfc85
--- /dev/null
+++ b/ices/80447.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+rustc --crate-type=proc-macro - << 'EOF'
+extern crate proc_macro;
+use proc_macro::TokenStream;
+#[proc_macro_attribute]
+pub fn mac(_attrs: TokenStream, input: TokenStream) -> TokenStream {
+    input
+}
+EOF
+
+rustc --extern mac=$(ls librust_out.*) - << 'EOF'
+pub trait Crash {
+    #[mac::mac]
+    fn one(s: () {
+    }
+
+    fn two();
+}
+
+fn main () {}
+EOF