[type]: conditional type inference unexpected

[kelvinschen]

import { typeOf, valuesOf, ReflectionClass, validate, is } from "@deepkit/type";

type Foo<T> = T extends [...infer P extends string[], infer L] ? L : never

type Bar = Foo<[string, string, number]> // Bar is number

console.log('valRes', is<Bar>('hello'))  // true (expect to be false)
console.log('valRes', is<Bar>(1)) // false (expect to be true)
console.log('valRes', is<number>(1)) // true
console.log('type', typeOf<Bar>()) // kind: 5 (expect to be 6)

  "dependencies": {
    "@deepkit/core": "^1.0.1-alpha.108",
    "@deepkit/type": "^1.0.1-alpha.108"
  },
  "devDependencies": {
    "@deepkit/type-compiler": "^1.0.1-alpha.108",
    "@types/node": "20.8.6",
    "ts-node": "10.9.1",
    "typescript": "^5.1"
  }

codesandbox

it seems the inference of Bar result in 'string' rather than 'number'

[marcj]

Infer operations with constraints are not implemented yet.

deepkit-framework/packages/type-compiler/src/compiler.ts

Line 1589 in acb2d72

case SyntaxKind.InferType: {

We need a new bytecode OP inferConstrained or something like that to have it backward compatible, and then consume TypeParameterDeclaration.constraint in the AST node (narrowed.typeParameter.constraint)