eqWAlizer: dynamic_generics:case11_neg/1

[albsch]

Should fail, but passes:

-spec fapply(fun((T) -> U), T) -> U.
fapply(F, X) ->
    ZZ = F(X),
    ZZ.

-spec case11_neg(X) -> X.                  |         |
case11_neg(X) ->                           | ERROR   |
  Res = fapply(fun dyn_fun/1, X),          |         |
  {Res}.                                   |         | {Res}.
                                           |         | Expected: X
                                           |         | Got     : {dynamic()}