`noUncheckedIndexedAccess` failed when destructuring from a tuple with rest elements

[whzx5byb]

Bug Report

🔎 Search Terms

noUncheckedIndexedAccess destructuring tuple rest elements

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

Playground link with relevant code

💻 Code

type NonEmptyStringArray = [string, ...Array<string>]

const strings: NonEmptyStringArray = ['one', 'two', 'three']
const [s0, s1, s2, s3] = strings;
//                  ^? const s3: string | undefined
  s3.toUpperCase()
//^? const s3: string

🙂 Expected behavior

s3.toUpperCase() shows type error.

🙁 Actual behavior

s3.toUpperCase() shows no error.
Note that undefined is correctly included inside the assignment statement but then lost.

Related: #40657

[Andarist]

Note that undefined is correctly included inside the assignment statement but then lost.

It's probably cause hovering at that position shows you the "declared type" - but when hovering over the identifier after this assignment you see the "flow type" (the result of the control flow analysis). So my educated guess is that the problem is in the CFA