fix(types): improve draw signature for non-empty arrays

src/random/draw.ts

@@ -16,10 +16,12 @@ import { random } from 'radashi'
  * ```
  * @version 12.1.0
  */
-export function draw<T>(array: readonly T[]): T | null {
+export function draw<const T extends readonly any[]>(
+  array: T,
+): T extends readonly [any, ...any[]] ? T[number] : T[number] | null {
   const max = array.length
   if (max === 0) {
-    return null
+    return null as any
   }
   const index = random(0, max - 1)
   return array[index]

tests/random/draw.test-d.ts

@@ -0,0 +1,28 @@
+import * as _ from 'radashi'
+
+describe('draw', () => {
+  test('variable with mutable array', () => {
+    const array = [1, 2, 3]
+
+    expectTypeOf(_.draw(array)).toEqualTypeOf<number | null>()
+  })
+
+  test('variable with empty array', () => {
+    const emptyArray = [] as never[]
+    const emptyTuple = [] as const
+
+    expectTypeOf(_.draw(emptyArray)).toEqualTypeOf<null>()
+    expectTypeOf(_.draw(emptyTuple)).toEqualTypeOf<null>()
+  })
+
+  test('variable with tuple', () => {
+    const tuple = [1, 2, 3] as const
+
+    expectTypeOf(_.draw(tuple)).toEqualTypeOf<1 | 2 | 3>()
+  })
+
+  test('inlined array', () => {
+    expectTypeOf(_.draw([])).toEqualTypeOf<null>()
+    expectTypeOf(_.draw([1, 2, 3])).toEqualTypeOf<1 | 2 | 3>()
+  })
+})