Hacker News new | ask | show | jobs
by ukj 1820 days ago
But it doesn’t static-type-check that particular code-path.

Because it can’t.