Fix test/should_pass/return_fun.erl

Author: erszcz

test/should_fail/return_fun_fail.erl

@@ -1,8 +1,8 @@
 -module(return_fun_fail).
 
 -export([return_fun_union/0,
- return_fun_remote/0
- ]).
+ return_fun_remote/0,
+ return_fun_no_spec/0]).
 
 -spec return_fun_union() -> integer() | fun(() -> atom()).
 return_fun_union() ->
@@ -12,5 +12,10 @@ return_fun_union() ->
 return_fun_remote() ->
  fun erlang:atom_to_list/1.
 
+-spec return_fun_no_spec() -> integer().
+return_fun_no_spec() -> fun no_spec/0.
+
 -spec nil() -> [].
 nil() -> [].
+
+no_spec() -> ok.

test/should_pass/return_fun.erl

@@ -22,17 +22,9 @@ return_fun_intersection() -> fun number/1.
  fun((1..3) -> integer()).
 return_fun_union_intersection() -> fun number/1.
 
-%% By default inferring type from expressions with no spec is disabled.
-%% So the type of `fun no_spec/0' is `any()' which is a subtype of
-%% `integer()'.
--spec return_fun_no_spec() -> integer().
-return_fun_no_spec() -> fun no_spec/0.
-
 -spec nil() -> [].
 nil() -> [].
 
 -spec number(integer()) -> integer();
             (float()) -> float().
 number(N) -> N.
-
-no_spec() -> ok.