<div dir="ltr"><div style>I would think the advantage of running compile-time checks against the global object is that it can catch errors that we currently use linters for:</div><div style><br></div><div style>    // OOPS - forgot this line!</div>
<div style>    // import { x } from "foo";</div><div style><br></div><div style>    function someRareCase() {</div><div style>        x(); // Reference error?</div><div style>    }</div><div style><br></div><div style>
That's useful, but it comes at the price of treating the global object as if it were a static thing, and not dynamic.  From my point of view, though, a dynamic global object is just how it goes with Javascript.  I think this kind of static checking should be left to linters, unless we are adopting a policy of actively discouraging dynamism for the global object.</div>
<div style><br></div><div>{ Kevin }</div><div><br></div></div>