Add two known problems related to `type_check_expr`

josefs / Gradualizer

A Gradual type system for Erlang

MIT License

613 stars 35 forks source link

Closed xxdavid closed 1 year ago

xxdavid commented 1 year ago

These things are already handled by type_check_expr_in, but no by type_check_expr.