Unify type_check_expr and type_check_expr_in

test/known_problems/should_pass/return_fun_should_pass.erl

@@ -0,0 +1,16 @@
+-module(return_fun_should_pass).
+
+-export([return_fun_intersection/0,
+        return_fun_union_intersection/0]).
+
+-spec return_fun_intersection() -> fun((any()) -> integer()).
+return_fun_intersection() -> fun number/1.
+
+-spec return_fun_union_intersection()
+                                   -> fun((atom()) -> atom()) |
+                                      fun((1..3) -> integer()).
+return_fun_union_intersection() -> fun number/1.
+
+-spec number(integer()) -> integer();
+            (float()) -> float().
+number(N) -> N.

test/should_pass/return_fun.erl

@@ -1,6 +1,9 @@
 -module(return_fun).
 
--compile([export_all, nowarn_export_all]).
+-export([return_fun_term/0,
+         return_fun_fun/0,
+         return_fun_union/0,
+         return_fun_any_arity/0]).
 
 -spec return_fun_term() -> term().
 return_fun_term() -> fun nil/0.
@@ -14,17 +17,5 @@ return_fun_union() -> fun nil/0.
 -spec return_fun_any_arity() -> fun((...) -> list()).
 return_fun_any_arity() -> fun nil/0.
 
--spec return_fun_intersection() -> fun((any()) -> integer()).
-return_fun_intersection() -> fun number/1.
-
--spec return_fun_union_intersection()
-                                   -> fun((atom()) -> atom()) |
-                                      fun((1..3) -> integer()).
-return_fun_union_intersection() -> fun number/1.
-
 -spec nil() -> [].
 nil() -> [].
-
--spec number(integer()) -> integer();
-            (float()) -> float().
-number(N) -> N.