The tests asserting certain properties are just type checks, albeit weak and less-safe ones. If you have to make sure a property exists then that is 100% not a

The tests asserting certain properties are just type checks, albeit weak and less-safe ones. If you have to make sure a property exists then that is 100% not a logic concern. It's a check on the structural integrity of the module. You can eliminate a whole group of tests in TS that you would otherwise need in a JS project.