diff --git a/base/boot.jl b/base/boot.jl
index bb7fcfd0719ed..f85c2417de605 100644
--- a/base/boot.jl
+++ b/base/boot.jl
@@ -432,7 +432,7 @@ eval(Core, quote
             relocatability)
     end
     Const(@nospecialize(v)) = $(Expr(:new, :Const, :v))
-    PartialStruct(@nospecialize(typ), fields::Array{Any, 1}) = $(Expr(:new, :PartialStruct, :typ, :fields))
+    PartialStruct(typ::DataType, fields::Array{Any, 1}) = $(Expr(:new, :PartialStruct, :typ, :fields))
     PartialOpaque(@nospecialize(typ), @nospecialize(env), parent::MethodInstance, source::Method) = $(Expr(:new, :PartialOpaque, :typ, :env, :parent, :source))
     InterConditional(slot::Int, @nospecialize(vtype), @nospecialize(elsetype)) = $(Expr(:new, :InterConditional, :slot, :vtype, :elsetype))
     MethodMatch(@nospecialize(spec_types), sparams::SimpleVector, method::Method, fully_covers::Bool) = $(Expr(:new, :MethodMatch, :spec_types, :sparams, :method, :fully_covers))
diff --git a/base/compiler/typelattice.jl b/base/compiler/typelattice.jl
index 79db3b6cf20b6..235a52fac168a 100644
--- a/base/compiler/typelattice.jl
+++ b/base/compiler/typelattice.jl
@@ -37,7 +37,7 @@ struct Conditional
     vtype
     elsetype
     function Conditional(
-                var,
+                var::SlotNumber,
                 @nospecialize(vtype),
                 @nospecialize(nottype))
         return new(var, vtype, nottype)