In the past, Flow has had to make some tough decisions about what counts as a type error, and what we should surface in our…