const B = ark.Record("number", "number");

const B = ark.Record("number", "number");

Argument of type '["number", "number"]' is not assignable to parameter of type '["number", "number"] & [ErrorType<"Invalid argument for K", [expected: Key]>, unknown]'.
  Type '["number", "number"]' is not assignable to type '[ErrorType<"Invalid argument for K", [expected: Key]>, unknown]'.
    Type at position 0 in source is not compatible with type at position 0 in target.
      Type 'string' is not assignable to type 'ErrorType<"Invalid argument for K", [expected: Key]>'

Argument of type '["number", "number"]' is not assignable to parameter of type '["number", "number"] & [ErrorType<"Invalid argument for K", [expected: Key]>, unknown]'.
  Type '["number", "number"]' is not assignable to type '[ErrorType<"Invalid argument for K", [expected: Key]>, unknown]'.
    Type at position 0 in source is not compatible with type at position 0 in target.
      Type 'string' is not assignable to type 'ErrorType<"Invalid argument for K", [expected: Key]>'

import { ArkErrors } from "arktype";

// Define a separate AnyType due to:
// https://github.com/arktypeio/arktype/issues/1117
type AnyType<T = unknown> = {
  (data: unknown): T | ArkErrors;
  describe: (description: string) => AnyType<T>;
  description: string;
  infer: unknown;
  json: unknown;
};

export { AnyType };

import { ArkErrors } from "arktype";

// Define a separate AnyType due to:
// https://github.com/arktypeio/arktype/issues/1117
type AnyType<T = unknown> = {
  (data: unknown): T | ArkErrors;
  describe: (description: string) => AnyType<T>;
  description: string;
  infer: unknown;
  json: unknown;
};

export { AnyType };

Argument of type 'Type<(In: string) => Out<string>, {}>' is not assignable to parameter of type 'Any<any>'.
  Types of property 'out' are incompatible.
    Type 'Type<unknown, {}>' is missing the following properties from type 'Type<any, any>': matching, atLeastLength, atMostLength, moreThanLength, and 2 more.ts(2345)

Argument of type 'Type<(In: string) => Out<string>, {}>' is not assignable to parameter of type 'Any<any>'.
  Types of property 'out' are incompatible.
    Type 'Type<unknown, {}>' is missing the following properties from type 'Type<any, any>': matching, atLeastLength, atMostLength, moreThanLength, and 2 more.ts(2345)

const m = <t extends Type.Any>(type: t): t => type.describe("test");
const a = type("string").pipe((s) => s);
const t = m(a);

const m = <t extends Type.Any>(type: t): t => type.describe("test");
const a = type("string").pipe((s) => s);
const t = m(a);

Found 188 errors in 49 files.

Found 188 errors in 49 files.

import { type } from "arktype";

const Address = type("string").narrow(() => true);
type Address = typeof Address.in.infer;

export { Address }

import { type } from "arktype";

const Address = type("string").narrow(() => true);
type Address = typeof Address.in.infer;

export { Address }