add tests for #265

Author: vtjnash

test/choosetests.jl

@@ -15,7 +15,8 @@ Upon return, `tests` is a vector of fully-expanded test names, and
 """ ->
 function choosetests(choices = [])
     testnames = [
-        "linalg", "subarray", "core", "inference", "keywordargs", "numbers",
+        "linalg", "subarray", "core", "inference", "worlds",
+        "keywordargs", "numbers",
         "printf", "char", "string", "triplequote", "unicode",
         "dates", "dict", "hashing", "iobuffer", "staged", "offsetarray",
         "arrayops", "tuple", "reduce", "reducedim", "random", "abstractarray",

test/core.jl

@@ -3325,7 +3325,7 @@ typealias PossiblyInvalidUnion{T} Union{T,Int}
 # issue #13007
 call13007{T,N}(::Type{Array{T,N}}) = 0
 call13007(::Type{Array}) = 1
-@test length(Base._methods(call13007, Tuple{Type{TypeVar(:_,Array)}}, 4)) == 2
+@test length(Base._methods(call13007, Tuple{Type{TypeVar(:_,Array)}}, 4, typemax(UInt))) == 2
 
 # detecting cycles during type intersection, e.g. #1631
 cycle_in_solve_tvar_constraints{S}(::Type{Nullable{S}}, x::S) = 0

test/worlds.jl

@@ -0,0 +1,13 @@
+# This file is a part of Julia. License is MIT: http://julialang.org/license
+
+# tests for accurate updating of method tables
+
+# test method replacement
+
+# test signature widening
+
+# test signature narrowing
+
+# test constructors
+
+# test oldworld call / inference