GeezerVison

Fixes #22861. This PR introduces support for import.meta, a meta-property described here.

Here are some details on the implementation.

The ImportMeta Interface

The type of import.meta is the global ImportMeta type which is defined in lib.es5.d.ts:

interface ImportMeta {
}

This interface is extremely limited. Adding well-known properties for Node or browsers requires interface merging and possibly a global augmentation depending on the context.

For example, one might want to say that __dirname is always available on import.meta:

// node.d.ts
interface ImportMeta {
    __dirname: string;
}

Any user of the above .d.ts file will be able to get completions for import.meta.__dirname which has the type string.

Alternatively, you might be in a bind and just need to say "yes, I know import.meta will have this property, and I only need to use it in one file":

// declaring a property ad-hoc/offhandedly
declare global  {
    interface ImportMeta {
        mySuperCoolProperty: string;
    }
}

import.meta.mySuperCoolProperty // Has type 'string', not 'any'.

An earlier version of this pull request defined ImportMeta as follows:

interface ImportMeta {
    [propertyName: string]: any;
}

However, this interface is extremely lax, and means that you can misspell any property.

Community feedback is appreciated here.

Targets

import.meta is only allowed when targeting ESNext modules and ECMAScript targets.

I think it might make sense to say "this only runs on ESNext modules, but can run on any target", but I'd rather be conservative for now.

Incremental Parsing

import.meta is only valid within a module. This implies one of two things:

1. It is an error to use import.meta if the current module does not contain a module indicator (i.e. the module has no imports/exports).
2. import.meta itself is a module indicator (which turns the current file into a module).

I went with choice (2), which implies that a module indicator can occur anywhere within the file. To avoid a full walk of the tree, I use a new NodeFlag called PossiblyContainsImportMeta. Much like NodeFlags.PossiblyContainsDynamicImport, this new flag is set exactly once, and is never unset when re-using an AST.

When the flag is set, we will do a full walk of the AST to find module indicators, but in the common case, we'll run into an import or export declaration.