Revision 0.28.1 (#397)

test/static/index.ts

@@ -10,6 +10,7 @@ import './emum'
 import './extract'
 import './exclude'
 import './function'
+import './indexed'
 import './instance-type'
 import './intersect'
 import './keyof'

test/static/indexed.ts

@@ -0,0 +1,29 @@
+import { Expect } from './assert'
+import { Type, Static } from '@sinclair/typebox'
+
+{
+  const T = Type.Object({
+    x: Type.Number(),
+    y: Type.String(),
+  })
+  const I = Type.Index(T, ['x', 'y'])
+  Expect(I).ToInfer<number | string>()
+}
+{
+  const T = Type.Tuple([Type.Number(), Type.String(), Type.Boolean()])
+  const I = Type.Index(T, Type.Union([Type.Literal('0'), Type.Literal('1')]))
+  Expect(I).ToInfer<number | string>()
+}
+{
+  const T = Type.Tuple([Type.Number(), Type.String(), Type.Boolean()])
+  const I = Type.Index(T, Type.Union([Type.Literal(0), Type.Literal(1)]))
+  Expect(I).ToInfer<number | string>()
+}
+{
+  const T = Type.Object({
+    ab: Type.Number(),
+    ac: Type.String(),
+  })
+  const I = Type.Index(T, Type.TemplateLiteral([Type.Literal('a'), Type.Union([Type.Literal('b'), Type.Literal('c')])]))
+  Expect(I).ToInfer<number | string>()
+}