test(type): extract type annotation options

packages/type/tests/integration4.spec.ts

@@ -9,7 +9,7 @@
  */
 
 import { expect, test } from '@jest/globals';
-import { assertType, AutoIncrement, Group, groupAnnotation, PrimaryKey, ReflectionKind } from '../src/reflection/type.js';
+import { assertType, AutoIncrement, ExtractTypeAnnotationOptions, Group, groupAnnotation, PrimaryKey, ReflectionKind, TypeAnnotation } from '../src/reflection/type.js';
 import { typeOf } from '../src/reflection/reflection.js';
 import { cast } from '../src/serializer-facade.js';
 
@@ -143,3 +143,13 @@ test('union loosely', () => {
     expect(cast<a>({ id: 2 })).toEqual({ id: 2 });
     expect(cast<a>({ id: '3' })).toEqual({ id: 3 });
 });
+
+test('extract type annotation options', () => {
+    type Skip = TypeAnnotation<'skip', { if: boolean }>;
+
+    type SkipOptions = ExtractTypeAnnotationOptions<Skip>;
+
+    const options: SkipOptions = {
+        if: true,
+    };
+});