Make sure has_offset_axes(::StepRange) could be const folded.

Author: N5N3

base/range.jl

@@ -687,6 +687,14 @@ step_hp(r::AbstractRange) = step(r)
 
 axes(r::AbstractRange) = (oneto(length(r)),)
 
+# Needed to ensure `has_offset_axes` can constant-fold.
+has_offset_axes(::StepRange) = false
+# TODO: Extend this after we land #45236.
+let baseints = Union{Int8,UInt8,Int16,UInt16,Int32,UInt32,Int64,UInt64,Int128,UInt128}
+    global firstindex
+    firstindex(::StepRange{T,T}) where {T<:baseints} = sizeof(T) < sizeof(Int) ? 1 : one(T)
+end
+
 # n.b. checked_length for these is defined iff checked_add and checked_sub are
 # defined between the relevant types
 function checked_length(r::OrdinalRange{T}) where T

test/ranges.jl

@@ -2342,3 +2342,17 @@ end
 @test isempty(range(typemax(Int), length=0, step=UInt(2)))
 
 @test length(range(1, length=typemax(Int128))) === typemax(Int128)
+
+@testset "firstindex(::StepRange{T,T})" begin
+    test_firstindex(x) = firstindex(x) === first(Base.axes1(x))
+    for bit in (8,16,32,64,128)
+        uint = Symbol(:UInt, bit)
+        int = Symbol(:Int, bit)
+        @eval UR = StepRange{$uint,$uint}
+        @eval IR = StepRange{$int,$int}
+        @test test_firstindex(UR(1,1,1))
+        @test test_firstindex(UR(1,1,0))
+        @test test_firstindex(IR(1,1,1))
+        @test test_firstindex(IR(1,1,0))
+    end
+end