From 799d52eff7e96fc339327966b056ab89c061b255 Mon Sep 17 00:00:00 2001
From: David Wood <david@davidtw.co>
Date: Wed, 22 Jul 2020 15:35:52 +0100
Subject: [PATCH] tests: add regression test for #74614

This commit adds a regression test for #74614 so that it is fixed before
polymorphisation is re-enabled.

Signed-off-by: David Wood <david@davidtw.co>
---
 src/test/ui/issues/issue-74614.rs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 src/test/ui/issues/issue-74614.rs

diff --git a/src/test/ui/issues/issue-74614.rs b/src/test/ui/issues/issue-74614.rs
new file mode 100644
index 00000000000..f5e8deb29fb
--- /dev/null
+++ b/src/test/ui/issues/issue-74614.rs
@@ -0,0 +1,17 @@
+// build-pass
+
+fn test<T>() {
+    std::mem::size_of::<T>();
+}
+
+pub fn foo<T>(_: T) -> &'static fn() {
+    &(test::<T> as fn())
+}
+
+fn outer<T>() {
+    foo(|| ());
+}
+
+fn main() {
+    outer::<u8>();
+}