Variadic tuple constraint incoherent ?

TypeScript Version: 4.0.0-dev.20200722

Search Terms:
Variadic tuple
Variadic tuple constraint

Code

type A<GArgs extends [number, string, ...any[]]> = true;
type B<GArgs extends [string, ...any[]]> = A<[number, ...GArgs]>; // ERROR
type C = A<[number, ...[string, ...any[]]]>; // OK

Actual / Expected behavior:

On the type B we get an error:

TS2344: Type '[number, ...GArgs]' does not satisfy the constraint '[number, string, ...any[]]'.   Element at index 1 is variadic in one type but not in the other

Sounds incorrect because on B, GArgs is properly shaped to be just like in C

Playground Link

Related Issues:

The variadic issues are a big jungle, and I was not able to find any related issue (but probably some exists?)