Add type for inclusive-range function

The inclusive-range function from racket/list was missing a type.
It works like range but includes the end point.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: samth

typed-racket-lib/typed-racket/base-env/base-special-env.rkt

@@ -68,6 +68,25 @@
           (->opt -SingleFlonum -Real [-SingleFlonum] (-lst -SingleFlonum))
           (->opt -InexactReal -Real [-InexactReal] (-lst -InexactReal))
           (->opt -Real -Real [-Real] (-lst -Real)))]
+  ;; inclusive-range
+  [(make-template-identifier 'inclusive-range-proc 'racket/list)
+   (cl->*
+          (->opt -PosInt -Byte [-Int] (-lst -PosByte))
+          (->opt -Nat -Byte [-Int] (-lst -Byte))
+          (->opt -PosInt -Index [-Int] (-lst -PosIndex))
+          (->opt -Nat -Index [-Int] (-lst -Index))
+          (->opt -Nat -NonNegFixnum [-Int] (-lst -NonNegFixnum))
+          (->opt -PosInt -Fixnum [-Nat] (-lst -PosFixnum))
+          (->opt -Nat -Fixnum [-Nat] (-lst -NonNegFixnum))
+          (->opt -Nat -Nat [-Int] (-lst -Nat))
+          (->opt -PosInt -Int [-Nat] (-lst -PosInt))
+          (->opt -Nat -Int [-Nat] (-lst -Nat))
+          (->opt -Int -Real [-Int] (-lst -Int))
+          (->opt -Rat -Real [-Rat] (-lst -Rat))
+          (->opt -Flonum -Real [-Flonum] (-lst -Flonum))
+          (->opt -SingleFlonum -Real [-SingleFlonum] (-lst -SingleFlonum))
+          (->opt -InexactReal -Real [-InexactReal] (-lst -InexactReal))
+          (->opt -Real -Real [-Real] (-lst -Real)))]
   ;; unsafe-normalise-inputs
   [(make-template-identifier 'unsafe-normalise-inputs 'racket/private/for)
    (-poly (a)

typed-racket-test/unit-tests/typecheck-tests.rkt

@@ -2754,6 +2754,22 @@
        [tc-e (in-combinations '(1 2 1) 2) (-seq (-lst -PosByte))]
        [tc-e (permutations '(a b c d)) (-lst (-lst (one-of/c 'a 'b 'c 'd)))]
        [tc-e (in-permutations '(a b c d)) (-seq (-lst (one-of/c 'a 'b 'c 'd)))]
+       [tc-e (inclusive-range 1 5) (-lst -PosByte)]
+       [tc-e (inclusive-range 1 5 2) (-lst -PosByte)]
+       [tc-e (inclusive-range 0 10) (-lst -Byte)]
+       ;; Boundary conditions for inclusive-range
+       [tc-e (inclusive-range 5 5) (-lst -PosByte)]        ; single element (start = end)
+       [tc-e (inclusive-range 0 0) (-lst -Byte)]           ; single zero element
+       [tc-e (inclusive-range 0 255) (-lst -Byte)]         ; full byte range
+       [tc-e (inclusive-range 1 1000) (-lst -PosIndex)]    ; index range
+       [tc-e (inclusive-range 0 1000) (-lst -Index)]       ; nonnegative index range
+       [tc-e (inclusive-range -5 5) (-lst -Int)]           ; negative to positive
+       [tc-e (inclusive-range 1 10 3) (-lst -PosByte)]     ; with step, positive
+       [tc-e (inclusive-range 10 1 -1) (-lst -PosByte)]    ; descending range
+       [tc-e (inclusive-range 0.0 1.0 0.5) (-lst -Flonum)] ; flonum range
+       [tc-e (inclusive-range 1/2 5/2 1/2) (-lst -Rat)]    ; rational range
+       [tc-e (inclusive-range 1 100) (-lst -PosByte)]      ; max byte boundary
+       [tc-e (inclusive-range 1 256) (-lst -PosIndex)]     ; beyond byte -> index
 
        ;; test functions which do lookup with the "wrong type", where the
        ;; result type shouldn't be widened to include that type