incorrect type inference with Array on function parameters

[ZigGreen]

type C = { c: 2 }
type TE = {a: 'b', c: C };
type T = {a: 'b'};

function f(x: Array<TE>) {}
function g(x: Array<T>) {
  x.push({a: 'b'})
}

const x = [{ a: 'b', c: {c: 2}}];
f(x);
g(x);
x.map(x => x.c.c);

output:

No errors!

Due to Array isn't subtype of Array there must be an error. But when you explicitly specify x's type, you get the appropriate error:

// ...
const x: Array<TE> = [{ a: 'b', c: {c: 2}}];
// ...

output:

10: const x: Array<TE> = [{ a: 'b', c: {c: 2}}];
                   ^ property `c`. Property not found in
6: function g(x: Array<T>) {
                       ^ object type