chore(ts/checker): Enable destructuringArrayBindingPatternAndAssignment3

[Beraliv]

Description:

Given There are 2 tuples
 When lhs is tuple with `any` elements
  And rhs is tuple with different types
  And lhs is of higher length
 Then rhs is assignable to lhs

I simply ignore AssignFailedBecauseTupleLengthDiffers when there is a tuple with any elements for lhs.

The only regression is conformance::expressions::arrayLiterals::arrayLiterals3.ts where var a0: [any, any, any] = [] is PASSED without errors now (which is wrong).

Can you please recommend a way to distinguish tuple in parameters and tuple in variables?

But we will need to distinguish these cases in the future for sure:

var a0: [any, any, any] = [];  // ❌ error as tuple of length 0 is NOT assignable to tuple of length 3
var a1: [any?, any?, any?] = []; // ✅ ok, tuple of length 0 is assignable to tuple of length 0 up to 3

(function ([f, g, h, i]) { // ✅ ok, as [1] is number[] by default so here we have f: number, g: number; h: number; i: number
})([1]);
(function ([f, g = 1, h = 2, i = 3]) { // ✅ ok, same but with default parameters
})([1]);

Playground 🔗 – https://tsplay.dev/w8xO9w

BREAKING CHANGE:

Related issue (if exists): #181

[CLAassistant]

All committers have signed the CLA.

[kdy1]

Is this correct? I think we should leverage the optional type as you said in #181 (comment)