JavaScript quotes can be annotated with an invalid type, e.g., a not fully applied constructor type or even a type which does not exist in the current scope.
For example, the following program is considered correct as part of the compilers context analysis phase, even though there is no type Foo:
DEF foo = {| console.log("FooBar") |} : DOM Foo
JavaScript quotes can be annotated with an invalid type, e.g., a not fully applied constructor type or even a type which does not exist in the current scope.
For example, the following program is considered correct as part of the compilers context analysis phase, even though there is no type
Foo: