From da35760cc33c4cf92d968b02da2f7a662ff04882 Mon Sep 17 00:00:00 2001
From: "Steven G. Johnson" <stevenj@alum.mit.edu>
Date: Thu, 28 Apr 2016 22:28:51 -0400
Subject: [PATCH] regression test for #8712, from #8862

---
 test/core.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/core.jl b/test/core.jl
index b64436a4a1fe4..7c3b65a9b86dd 100644
--- a/test/core.jl
+++ b/test/core.jl
@@ -3849,6 +3849,10 @@ test_metadata_matches(f4, Tuple{})
 
 end
 
+# issue #8712
+type Issue8712; end
+@test isa(invoke(Issue8712, ()), Issue8712)
+
 # issue #16089
 f16089(args...) = typeof(args)
 g16089() = f16089(UInt8)