4 ms·Indeed this was caught by a well-known tool, Miri, that detected this error.by jnwatson 5mo agoIndeed this was caught by a well-known tool, Miri, that detected this error.deleted 5mo ago[deleted]