7 ms·No. No human checked it. But a type checker did. And that is much better.by tossandthrow 12d agoNo. No human checked it. But a type checker did. And that is much better.