O.PathValid unexpected behaviour with depth >= 3

[Dot-H]

🐞 Bug Report

Describe the bug

Hi 👋

When trying to access an object deeper than 3 indirection using O.PathValid, the path becomes invalid.

Reproduce the bug

import { O, A, L } from 'ts-toolbelt'

interface IManagement {
  // keep those fields for the error
  id: number
  enterprise_did_id: number
  label: string
  code: string

  service?: IService[]
}

interface IService {
  // ...some fields
  role?: IRole[]
}

interface IRole {
  // ...some fields
  id: number
}

interface EDID {
  // ...some fields
  management?: IManagement[]
}

function updateEnterpriseDidElement<P extends L.List<string>>(
    ...path: A.Cast<P, O.PathValid<EDID, P>>
): void { }


// error TS2345: Argument of type '"role"' is not assignable to parameter of
// type '"service" | "id" | "enterprise_did_id" | "label" | "code"'.
updateEnterpriseDidElement("management", "service", "role")

Expected behavior

The arguments passed to the updateEnterpriseDidElement should be valid. Am I missing something ?

[millsp]

Hey @Dot-H, you made a little mistake. You must allow numbers because IManagement is an array.

function updateEnterpriseDidElement<P extends List<string | number>>(
    ...path: Cast<P, PathValid<EDID, P>>
): void { }

updateEnterpriseDidElement('management', 0, 'service', 'role')

[Dot-H]

Ups, sorry for the false alarm and thanks for the help 🙇‍♂️