lib/dialyzer/test/small_SUITE_data/src/unknown_arity_function_spec.erl


1
2
3
4
5
6
7
8
9
10

-module(unknown_arity_function_spec).

-export([test/2]).

%-type t() :: 42 | fun((...) -> t()).
%-type f() :: fun((...) -> 42).

-spec test(fun((...) -> 42), list()) -> 42.
test(F, L) ->
  42 = apply(F, L).