Closed
Description
Bug Report
π Search Terms
variadic, tuple, any, assignable
π Version & Regression Information
β― Playground Link
Playground link with relevant code
π» Code
declare let tt3: [number, string, ...any[]];
let tt4: [number, ...number[]] = tt3; // it should error
const el = tt4[1]
// ^? number
tt4[1] = tt3[1] // this errors correctly
π Actual behavior
Unsound assignment is incorrectly allowed
π Expected behavior
It should be a type error