diff --git a/base/inference.jl b/base/inference.jl
index f645054b88a75..3fe27fef1cf79 100644
--- a/base/inference.jl
+++ b/base/inference.jl
@@ -1,6 +1,6 @@
 # parameters limiting potentially-infinite types
 const MAX_TYPEUNION_LEN = 3
-const MAX_TYPE_DEPTH = 4
+const MAX_TYPE_DEPTH = 5
 const MAX_TUPLETYPE_LEN  = 8
 const MAX_TUPLE_DEPTH = 4