fast check: should infer type when parameter default has a type coercion

[kitsonk]

Version: Deno 1.39.2+70ac061

A type annotation could be inferred and not require an explicit type annotation. I have the following function declared:

export function createMockApp<
  S extends Record<string | number | symbol, any> = Record<string, any>,
>(
  state = {} as S,
): Application<S>;

And fast check should be able to infer the type of state as S instead of requiring an explicit type annotation, but fast check errors with:

Missing explicit type in the public API.
    at file:///Users/kitsonk/github/oak/testing.ts:27:3

[kitsonk]

I also ran across this with a property initializer, for example:

class A {
  handler = (() => {}) as HandlerMethod;
}

fast check should be able to infer that.