El sistema de tipos de TypeScript se borra cuando TypeScript se compila en JavaScript, y JavaScript es lo que realmente se ejecuta. Por lo tanto, su función se compila para

 function isC(attribute) { const valueSet = new Set(C); // <-- this C doesn't exist return valueSet.has(attribute); }

Y ese es el problema del que te advierte el compilador. No existe tal cosa como C en su código JavaScript. C es solo un tipo , y ese tipo no está presente en tiempo de ejecución. Para que esto tenga algún sentido en tiempo de ejecución, debe tener un valor de tipo C . Posiblemente así:

 function isC<C extends string[]>(attributes: [...C], attribute: string): attribute is C[number] { const valueSet: Set<string> = new Set(attributes) return valueSet.has(attribute) }

Y eso funcionará:

 let attr = Math.random() < 0.5 ? "b" : "d"; if (isC(["a", "b", "c"], attr)) { console.log({ a: 1, b: 2, c: 3 }[attr]); } else { console.log("nope"); }

Tenga en cuenta, sin embargo, que la implementación particular probablemente se pueda modificar. No hay ninguna razón por la que necesite realizar un seguimiento del tipo de matriz real, solo desea los tipos literales de cadena de los elementos. Y poner todos los elementos de la matriz en un Set y luego hacer un has() es excesivo, ya que puede dejar de inspeccionar la matriz tan pronto como encuentre el elemento en cuestión. Por lo tanto, sugeriría:

 function isC<C extends string>(cArray: C[], attribute: string): attribute is C { return (cArray as readonly string[]).includes(attribute); }

Que también funciona.

Enlace del patio de recreo al código