chore: prChecks

Author: TizzySaurus

ark/docs/public/llms.txt

@@ -1386,7 +1386,7 @@ Add a type-only symbol to an existing type so that the only values that satisfy
 const Even = type("(number % 2)#even")
 type Even = typeof Even.infer
 
-const good: Even = even.assert(2)
+const good: Even = Even.assert(2)
 // TypeScript: Type 'number' is not assignable to type 'Brand<number, "even">'
 const bad: Even = 5
 ```
@@ -1397,10 +1397,10 @@ const bad: Even = 5
 
 ```ts
 // @noErrors
-const even = type.number.divisibleBy(2).brand("even")
+const Even = type.number.divisibleBy(2).brand("even")
 type Even = typeof Even.infer
 
-const good: Even = even.assert(2)
+const good: Even = Even.assert(2)
 // TypeScript: Type 'number' is not assignable to type 'Brand<number, "even">'
 const bad: Even = 5
 ```

ark/json-schema/__tests__/array.test.ts

@@ -91,7 +91,7 @@ contextualize(() => {
 
 		attest(
 			() =>
-				// @ts-expect-error
+				// @ts-ignore Suppress 'excessively deep and possibly infinite' error
 				jsonSchemaToType({
 					type: "array",
 					additionalItems: { type: "string" },

ark/json-schema/composition.ts

@@ -15,7 +15,9 @@ export type inferJsonSchemaComposition<schema, t> =
 	"allOf" extends keyof schema ?
 		t extends never ?
 			t // "allOf" has incompatible schemas, so don't keep looking
-		: schema["allOf"] extends [infer firstSchema, ...infer restOfSchemas] ?
+		: schema["allOf"] extends (
+			readonly [infer firstSchema, ...infer restOfSchemas]
+		) ?
 			inferJsonSchemaComposition<
 				{ allOf: restOfSchemas },
 				inferJsonSchema<firstSchema, t>
@@ -31,6 +33,7 @@ export type inferJsonSchemaComposition<schema, t> =
 
 const parseAllOfJsonSchema = (jsonSchemas: readonly JsonSchema[]): Type =>
 	jsonSchemas
+		// @ts-ignore Suppress 'excessivevely deep and possibly infinite' error
 		.map(jsonSchema => jsonSchemaToType(jsonSchema as never))
 		.reduce((acc, validator) => acc.and(validator))
 

ark/json-schema/json.ts

@@ -48,7 +48,7 @@ export type inferJsonSchema<schema, t = unknown> =
 	: schema extends JsonSchema.Numeric ? t & number
 	: schema extends JsonSchema.Array ? t & inferJsonSchemaArray<schema>
 	: schema extends JsonSchema.Object ? t & inferJsonSchemaObject<schema>
-	: schema extends JsonSchema.String ? t & inferJsonSchemaString<schema>
+	: schema extends JsonSchema.String ? t & inferJsonSchemaString
 	: t extends {} ? t
 	: ErrorMessage<"Failed to infer JSON Schema">
 

ark/json-schema/string.ts

@@ -2,7 +2,7 @@ import { rootSchema, type Intersection } from "@ark/schema"
 import type { Out, Type } from "arktype"
 import { JsonSchemaScope, type StringSchema } from "./scope.ts"
 
-export type inferJsonSchemaString<schema> = string
+export type inferJsonSchemaString = string
 
 export const parseStringJsonSchema: Type<
 	(In: StringSchema) => Out<Type<string, any>>,