add more tests with binary +

Author: nsajko

test/no_invalidations.jl

@@ -61,8 +61,20 @@ end
         @test test_expr(n -> :(Base.UInt(::$n) = 0x0)) broken=true
     end
     @testset "arithmetic" begin
+        @test test_expr(n -> :(Base.:(+)(::$n, m::Bool) = m))
+        @test test_expr(n -> :(Base.:(+)(m::Bool, ::$n) = m))
+        @test test_expr(n -> :(Base.:(+)(::$n, m::Int8) = m))
+        @test test_expr(n -> :(Base.:(+)(m::Int8, ::$n) = m))
+        @test test_expr(n -> :(Base.:(+)(::$n, m::UInt8) = m))
+        @test test_expr(n -> :(Base.:(+)(m::UInt8, ::$n) = m))
+        @test test_expr(n -> :(Base.:(+)(::$n, m::Int16) = m))
+        @test test_expr(n -> :(Base.:(+)(m::Int16, ::$n) = m))
+        @test test_expr(n -> :(Base.:(+)(::$n, m::UInt16) = m))
+        @test test_expr(n -> :(Base.:(+)(m::UInt16, ::$n) = m))
         @test test_expr(n -> :(Base.:(+)(::$n, m::Int) = m))
         @test test_expr(n -> :(Base.:(+)(m::Int, ::$n) = m)) broken=true
+        @test test_expr(n -> :(Base.:(+)(::$n, m::UInt) = m))
+        @test test_expr(n -> :(Base.:(+)(m::UInt, ::$n) = m))
     end
     @testset "promotion" begin
         @test (