Hacker News new | ask | show | jobs
by jnwatson 27 days ago
Indeed this was caught by a well-known tool, Miri, that detected this error.