Indeed this was caught by a well-known tool, Miri, that detected this error.