arktypeio/arktype arktype@2.0.0-dev.24

on GitHub

Fix constrained narrow/pipe tuple expression input inference

Previously constraints were not stripped when inferring function inputs for tuple expressions like the following:

// previously errored due to data being inferred as `number.moreThan<0>`
// now correctly inferred as number
const t = type(["number>0", "=>", data => data + 1])

Fix a bug where paths including optional keys could be included as candidates for discrimination (see #960)

Throw descriptive parse errors on unordered unions between indiscriminable morphs and other indeterminate type operations (see #967)