more promotion tests

Author: nsajko

test/no_invalidations.jl

@@ -81,6 +81,30 @@ end
             test_expr(n -> :(Base.promote_rule(::Type{Bool}, ::Type{$n}) = Bool)) &&
             test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{Bool}) = Bool))
         ) broken=true
+        @test (
+            test_expr(n -> :(Base.promote_rule(::Type{Int8}, ::Type{$n}) = Int8)) &&
+            test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{Int8}) = Int8))
+        )
+        @test (
+            test_expr(n -> :(Base.promote_rule(::Type{UInt8}, ::Type{$n}) = UInt8)) &&
+            test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{UInt8}) = UInt8))
+        ) broken=true
+        @test (
+            test_expr(n -> :(Base.promote_rule(::Type{Int16}, ::Type{$n}) = Int16)) &&
+            test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{Int16}) = Int16))
+        )
+        @test (
+            test_expr(n -> :(Base.promote_rule(::Type{UInt16}, ::Type{$n}) = UInt16)) &&
+            test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{UInt16}) = UInt16))
+        )
+        @test (
+            test_expr(n -> :(Base.promote_rule(::Type{Int}, ::Type{$n}) = Int)) &&
+            test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{Int}) = Int))
+        ) broken=true
+        @test (
+            test_expr(n -> :(Base.promote_rule(::Type{UInt}, ::Type{$n}) = UInt)) &&
+            test_expr(n -> :(Base.promote_rule(::Type{$n}, ::Type{UInt}) = UInt))
+        )
     end
     @testset "unary functions" begin
         @test test_expr(n -> :(Base.zero(::$n) = $n())) broken=true