make Integer explicit again

Author: nsajko

test/no_invalidations.jl

@@ -45,7 +45,7 @@ function type_expr(f, supertype::Type)
     end
 end
 
-function test_expr(f, supertype::Type = Integer)
+function test_expr(f, supertype::Type)
     e = type_expr(f, supertype)
     ThereAreNoInvalidations.there_are_no_invalidations(e)
 end
@@ -55,13 +55,13 @@ end
     @testset "construction of old int type from new type" begin
         broken = (Int8, UInt8, UInt16, Int, UInt)
         @testset "T: $T" for T ∈ int_types
-            @test test_expr(n -> :(Base.$T(::$n) = $T(0))) broken=(T ∈ broken)
+            @test test_expr((n -> :(Base.$T(::$n) = $T(0))), Integer) broken=(T ∈ broken)
         end
     end
     @testset "construction of new int type from old type" begin
         broken = ()
         @testset "T: $T" for T ∈ int_types
-            @test test_expr(n -> :($n(::$T) = $n())) broken=(T ∈ broken)
+            @test test_expr((n -> :($n(::$T) = $n())), Integer) broken=(T ∈ broken)
         end
     end
     @testset "arithmetic between old int types and new int type" begin
@@ -70,8 +70,8 @@ end
         @testset "T: $T" for T ∈ int_types
             @testset "op: $op" for op ∈ ops
                 @test (
-                    test_expr(n -> :(Base.$op(::$n, m::$T) = m)) &&
-                    test_expr(n -> :(Base.$op(m::$T, ::$n) = m))
+                    test_expr((n -> :(Base.$op(::$n, m::$T) = m)), Integer) &&
+                    test_expr((n -> :(Base.$op(m::$T, ::$n) = m)), Integer)
                 ) broken=((T, op) ∈ broken)
             end
         end
@@ -80,13 +80,13 @@ end
         broken = (Bool, UInt8, Int)
         @testset "T: $T" for T ∈ int_types
             @test (
-                test_expr(n -> :(Base.promote_rule(::Type{$T}, ::Type{$n}) = $T)) &&
-                test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{$T}) = $T))
+                test_expr((n -> :(Base.promote_rule(::Type{$T}, ::Type{$n}) = $T)), Integer) &&
+                test_expr((n -> :(Base.promote_rule(::Type{$n}, ::Type{$T}) = $T)), Integer)
             ) broken=(T ∈ broken)
         end
     end
     @testset "unary functions" begin
-        @test test_expr(n -> :(Base.zero(::$n) = $n())) broken=true
-        @test test_expr(n -> :(Base.one(::$n) = $n())) broken=true
+        @test test_expr((n -> :(Base.zero(::$n) = $n())), Integer) broken=true
+        @test test_expr((n -> :(Base.one(::$n) = $n())), Integer) broken=true
     end
 end