Only closure analysis should run after fallback.
Move `check_casts` and `resolve_generator_interiors` to before fallback. Rename `apply_fallback_if_possible` to `fallback_if_possible`. Refactor `select_all_obligations_or_error`.
Showing
想要评论请 注册 或 登录