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)