Indexing tuple intersection type beyond length produces unexpected type

Bug Report

🔎 Search Terms

tuple intersection index type

⏯ Playground Link

Playground Link

💻 Code

type T = [number, boolean] & { x: string };
declare const t: T;
const a = t[0]; // number
const b = t[1]; // boolean
const c = t[2]; // number | boolean !?

🙁 Actual behavior

c is typed as number | boolean

🙂 Expected behavior

c should be typed as undefined

I'm not sure if this is a bug, or intended behavior. But it was surprising. If the type is just a tuple, indexing beyond its length produced undefined. But if it is part of an intersection, the element type is changed to number | boolean, as if it is no longer a tuple, but an array. However, indexing 0 or 1 still produces the correct type for those element positions.

Beginne mit dem verlinkten TypeScript Playground und reproduziere den im Issue gezeigten indizierten Zugriff auf eine Tupel-Intersection. Verfolge den Type-Checking-Pfad des Compilers für den Zugriff auf Tupelindizes außerhalb des gültigen Bereichs, wenn eine Intersection vorhanden ist, und füge Tests hinzu, die zeigen, dass t[2] als undefined typisiert ist, während t[0] und t[1] ihre Elementtypen behalten.