3 ms·No. No human checked it. But a type checker did. And that is much better.by tossandthrow 2mo agoNo. No human checked it. But a type checker did. And that is much better.