add type checks to UnionAll and TypeVar constructors

Author: JeffBezanson

base/inference.jl

@@ -63,6 +63,11 @@ immutable Const
     Const(v::ANY) = new(v)
 end
 
+function rewrap(t::ANY, u::ANY)
+    isa(t, Const) && return t
+    rewrap_unionall(t, u)
+end
+
 type InferenceState
     sp::SimpleVector     # static parameters
     label_counter::Int   # index of the current highest label for this function
@@ -149,9 +154,9 @@ type InferenceState
                     end
                     s_types[1][la] = VarState(Tuple, false)
                 else
-                    s_types[1][la] = VarState(rewrap_unionall(tuple_tfunc(limit_tuple_depth(params,
-                                                                                            tupletype_tail(atypes, la))),
-                                                              linfo.specTypes),
+                    s_types[1][la] = VarState(rewrap(tuple_tfunc(limit_tuple_depth(params,
+                                                                                   tupletype_tail(atypes, la))),
+                                                     linfo.specTypes),
                                               false)
                 end
                 la -= 1
@@ -572,8 +577,8 @@ function getfield_tfunc(s00::ANY, name)
         end
         s = DataType # typeof(p1)
     elseif isa(s,Union)
-        return rewrap_unionall(tmerge(getfield_tfunc(s.a, name), getfield_tfunc(s.b, name)),
-                               s00)
+        return rewrap(tmerge(getfield_tfunc(s.a, name), getfield_tfunc(s.b, name)),
+                      s00)
     elseif isa(s,Const)
         sv = s.val
         if isa(name, Const)

src/jltypes.c

@@ -309,6 +309,10 @@ JL_DLLEXPORT jl_value_t *jl_type_union(jl_value_t **ts, size_t n)
 
 JL_DLLEXPORT jl_tvar_t *jl_new_typevar(jl_sym_t *name, jl_value_t *lb, jl_value_t *ub)
 {
+    if (lb != jl_bottom_type && !jl_is_type(lb) && !jl_is_typevar(lb))
+        jl_type_error_rt("TypeVar", "lower bound", (jl_value_t*)jl_type_type, lb);
+    if (ub != (jl_value_t*)jl_any_type && !jl_is_type(ub) && !jl_is_typevar(ub))
+        jl_type_error_rt("TypeVar", "upper bound", (jl_value_t*)jl_type_type, ub);
     jl_ptls_t ptls = jl_get_ptls_states();
     jl_tvar_t *tv = (jl_tvar_t*)jl_gc_alloc(ptls, sizeof(jl_tvar_t), jl_tvar_type);
     tv->name = name;
@@ -319,6 +323,8 @@ JL_DLLEXPORT jl_tvar_t *jl_new_typevar(jl_sym_t *name, jl_value_t *lb, jl_value_
 
 JL_DLLEXPORT jl_value_t *jl_type_unionall(jl_tvar_t *v, jl_value_t *body)
 {
+    if (!jl_is_type(body) && !jl_is_typevar(body))
+        jl_type_error_rt("UnionAll", "", (jl_value_t*)jl_type_type, body);
     // normalize `T where T<:S` => S
     if (body == (jl_value_t*)v)
         return v->ub;

test/core.jl

@@ -10,6 +10,12 @@ f47{T}(x::Vector{Vector{T}}) = 0
 @test_throws MethodError f47(Array{Vector}(0))
 @test f47(Array{Vector{Int}}(0)) == 0
 
+# checking unionall and typevar components
+@test_throws TypeError ([] where T)
+@test_throws TypeError ([T] where T)
+@test_throws TypeError (Array{T} where T<:[])
+@test_throws TypeError (Array{T} where T>:[])
+
 # issue #8652
 args_morespecific(a, b) = ccall(:jl_type_morespecific, Cint, (Any,Any), a, b) != 0
 let