Merge pull request #1 from ranocha/hr/test_pure_typeintersect

add tests to the PR Mark typeintersect pure for Julia 1.9

src/util.jl

@@ -4,7 +4,7 @@ else
     const var"@_inline_meta" = Base.var"@inline"
 end
 
-# Julia 1.9 removed the `@pure` annotation in favor off Concrete-Eval
+# Julia 1.9 removed the `@pure` annotation in favor of Concrete-Eval
 # This behaves unfavorable with `julia --check-bounds=no`
 Base.@pure function typeintersect(@nospecialize(a),@nospecialize(b))
     Base.typeintersect(a,b)
@@ -19,7 +19,7 @@ TupleN{T,N} = NTuple{N,T}
 
 # Base gives up on tuples for promote_eltype... (TODO can we improve Base?)
 _TupleOf{T} = Tuple{T,Vararg{T}}
-promote_tuple_eltype(::Union{_TupleOf{T}, Type{<:_TupleOf{T}}}) where {T} = T 
+promote_tuple_eltype(::Union{_TupleOf{T}, Type{<:_TupleOf{T}}}) where {T} = T
 @generated function promote_tuple_eltype(::Union{T,Type{T}}) where T <: Tuple
     t = Union{}
     for i = 1:length(T.parameters)

test/check_bounds_no.jl

@@ -0,0 +1,16 @@
+module TestCheckBoundsNo
+
+using Test
+using StaticArrays
+
+# https://github.com/JuliaArrays/StaticArrays.jl/issues/1155
+@testset "Issue #1155" begin
+  u = @inferred(SVector(1, 2))
+  v = @inferred(SVector(3.0, 4.0))
+  a = 1.0
+  b = 2
+  result = @inferred(a * u + b * v)
+  @test result ≈ @inferred(SVector(7, 10))
+end
+
+end # module

test/runtests.jl

@@ -66,6 +66,13 @@ if TEST_GROUP ∈ ["", "all", "group-A"]
     addtests("inv.jl")
     addtests("pinv.jl")
     addtests("solve.jl")
+
+    # special logic required since we need to start a new
+    # Julia process for these tests
+    if isempty(enabled_tests) || "check_bounds_no" in enabled_tests
+        Random.seed!(42)
+        run(`$(Base.julia_cmd()) --check-bounds=no $(abspath("check_bounds_no.jl"))`)
+    end
 end
 
 if TEST_GROUP ∈ ["", "all", "group-B"]