Add test for ensuring typeConstructor is attached

.changeset/curly-mice-march.md

@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+Add test for ensuring typeConstructor is attached

packages/effect/src/Schema.ts

@@ -231,6 +231,7 @@ interface AllAnnotations<A, TypeParameters extends ReadonlyArray<any>>
 {}
 
 const builtInAnnotations = {
+  typeConstructor: AST.TypeConstructorAnnotationId,
   schemaId: AST.SchemaIdAnnotationId,
   message: AST.MessageAnnotationId,
   missingMessage: AST.MissingMessageAnnotationId,

packages/effect/test/Schema/Schema/annotations.test.ts

@@ -1,5 +1,6 @@
 import { describe, it } from "@effect/vitest"
 import { assertTrue, deepStrictEqual, strictEqual } from "@effect/vitest/utils"
+import * as Option from "effect/Option"
 import type * as ParseResult from "effect/ParseResult"
 import type * as Pretty from "effect/Pretty"
 import * as S from "effect/Schema"
@@ -81,6 +82,17 @@ describe(".annotations()", () => {
     })
   })
 
+  it("typeConstructor", () => {
+    const schema = S.Struct({ a: S.String }).annotations({ typeConstructor: { _tag: "MyTypeConstructor" } })
+    deepStrictEqual(schema.ast.annotations, {
+      [AST.TypeConstructorAnnotationId]: { _tag: "MyTypeConstructor" }
+    })
+    deepStrictEqual(
+      AST.getTypeConstructorAnnotation(schema.ast),
+      Option.some({ _tag: "MyTypeConstructor" })
+    )
+  })
+
   it("parseIssueTitle", async () => {
     const getOrderId = ({ actual }: ParseResult.ParseIssue) => {
       if (S.is(S.Struct({ id: S.Number }))(actual)) {