Post-morph constraints not checked if constraints not met on another property

type({
  name: "string>3",
  'age?': "string.numeric"
})

type({
  name: "string>3",
  'age?': "string.numeric"
})

import { type } from "arktype";

const schema = type({
  name: 'string>3',
  'age?': ['string.numeric', ':', (e, ctx) => +e > 18 || ctx.mustBe('greater then 18') ]
});

console.log(schema({
  name:'mes',
  age:'5'
})+'')

import { type } from "arktype";

const schema = type({
  name: 'string>3',
  'age?': ['string.numeric', ':', (e, ctx) => +e > 18 || ctx.mustBe('greater then 18') ]
});

console.log(schema({
  name:'mes',
  age:'5'
})+'')

let ageType = type("string.numeric.parse").to("number>18")
let objType = type({ name: "string", "age?": ageType })
objType({ name: 2, age: "2" }) // errors only on name
objType({ name: 2, age: 2 }) // errors on name and age

let ageType = type("string.numeric.parse").to("number>18")
let objType = type({ name: "string", "age?": ageType })
objType({ name: 2, age: "2" }) // errors only on name
objType({ name: 2, age: 2 }) // errors on name and age

type({
  name: "string>3",
  'age?': "string.numeric"
})

type({
  name: "string>3",
  'age?': "string.numeric"
})

function prenarrowed<const def>(
  def: type.validate<def>
): type.infer<def> {
  let t = type(def) as Type<any>;
  return t.in
  .narrow((v, ctx) => {
    let r = t(v)
    if (r instanceof type.errors) {
      ctx.errors.merge(r)
      return false 
    }
    return true
  })
  .pipe(t)
}

console.log('---')

let t2 = type({
  name: 'string > 3',
  age: prenarrowed(type('string.numeric.parse').to('number > 18'))
})

console.log(t2({
  name: 'mes',
  age: '5'
})+'')

function prenarrowed<const def>(
  def: type.validate<def>
): type.infer<def> {
  let t = type(def) as Type<any>;
  return t.in
  .narrow((v, ctx) => {
    let r = t(v)
    if (r instanceof type.errors) {
      ctx.errors.merge(r)
      return false 
    }
    return true
  })
  .pipe(t)
}

console.log('---')

let t2 = type({
  name: 'string > 3',
  age: prenarrowed(type('string.numeric.parse').to('number > 18'))
})

console.log(t2({
  name: 'mes',
  age: '5'
})+'')

(typeA.or(typeB)).to(typeC)

(typeA.or(typeB)).to(typeC)

let nativeParseNumber = type("string.numeric.parse")
let morphedParseNumber = type("string").to("string.numeric.parse")
let fooNative = type({ variant: "'foo'", num: nativeParseNumber })
let fooMorph = type({ variant: "'foo'", num: morphedParseNumber })
let barNative = type({ variant: "'bar'", num: nativeParseNumber })
let barMorph = type({ variant: "'bar'", num: morphedParseNumber })
let nativeUnion = fooNative.or(barNative)
let morphUnion = fooMorph.or(barMorph)

let nativeParseNumber = type("string.numeric.parse")
let morphedParseNumber = type("string").to("string.numeric.parse")
let fooNative = type({ variant: "'foo'", num: nativeParseNumber })
let fooMorph = type({ variant: "'foo'", num: morphedParseNumber })
let barNative = type({ variant: "'bar'", num: nativeParseNumber })
let barMorph = type({ variant: "'bar'", num: morphedParseNumber })
let nativeUnion = fooNative.or(barNative)
let morphUnion = fooMorph.or(barMorph)

> t('five')+''
 ("five") must be...
  • a well-formed integer string
  • an integer in the range Number.MIN_SAFE_INTEGER to Number.MAX_SAFE_INTEGER
  • an integer in the range Number.MIN_SAFE_INTEGER to Number.MAX_SAFE_INTEGER

> t('five')+''
 ("five") must be...
  • a well-formed integer string
  • an integer in the range Number.MIN_SAFE_INTEGER to Number.MAX_SAFE_INTEGER
  • an integer in the range Number.MIN_SAFE_INTEGER to Number.MAX_SAFE_INTEGER