Skip functions using maybe expr, don't crash on maybe ... else#571

Merged

erszcz merged 13 commits intojosefs:masterfrom erszcz:skip-maybe

Oct 11, 2024

+251-108

Commits on Sep 19, 2024

Drop no_clause_has_guards condition when checking exhaustiveness
erszcz
committed

Commits on Sep 20, 2024

Handle all erl_anno:file() cases, fix self-check error
erszcz
committed

Commits on Oct 10, 2024

Export all tests from type_refinement_should_fail, fix specs
erszcz
committed

Commits on Oct 11, 2024

Skip functions using maybe expr, don't crash on maybe ... else
erszcz
committed
Use option() instead of maybe() for Erlang 27 compat
erszcz
committed
Skip functions using maybe in checking position, infer MaybeExpr :: any() otherwise
erszcz
committed