diff --git a/test/numbers.jl b/test/numbers.jl
index be3426d3c15d6..85914957ed3af 100644
--- a/test/numbers.jl
+++ b/test/numbers.jl
@@ -933,6 +933,9 @@ end
 @test 2.0^63 != UInt64(2)^63+1
 
 @test typemax(UInt64) != 2.0^64
+# issue #9085
+f9085() = typemax(UInt64) != 2.0^64
+@test f9085()
 
 @test typemax(UInt64) < Float64(typemax(UInt64))
 @test typemax(Int64) < Float64(typemax(Int64))