This PR excludes ES symbol types from unions when checking bindings.
This ensures that nothing and noChange are ignored in type checking.
We remove all symbol types because it is not possible to get the details of symbol types.
This will produce false negatives when other symbols are mixed in, but I consider the situation where such symbols are mixed in to be rare.
This PR excludes ES symbol types from unions when checking bindings. This ensures that
nothing
andnoChange
are ignored in type checking.We remove all symbol types because it is not possible to get the details of symbol types. This will produce false negatives when other symbols are mixed in, but I consider the situation where such symbols are mixed in to be rare.
Closes #207. Closes #251. Closes #316.