打字稿不会在错误类型的数组推送上引发typeerror

Question

下面的代码不会像我期望的那样进行翻译。

    command:
      [
        '-b',
        '0.0.0.0',
        '-Djboss.socket.binding.port-offset=1000',
        '-Dkeycloak.migration.action=import',
        '-Dkeycloak.migration.provider=dir',
        '-Dkeycloak.migration.dir=/realm-config',
        '-Dkeycloak.migration.strategy=IGNORE_EXISTING',
      ]

但是，一旦我将推送的对象变成一个接口（与接口1不匹配），代码就会成功编译。

interface Interface1 {
    a: number;
    b: number;
}

const arr: Array<Interface1> = []

arr.push({
    a: 1,
    b: 1,
    c: 1
})

这是怎么回事，如何在不正确的数组推送后成功抛出typeError？

复制链接：https://codesandbox.io/s/flamboyant-knuth-8lq82?file=/src/index.ts