`Date` and `DateTime` accept any map

[baldwindavid]

It seems that a spec with Date or DateTime accept anything that is a map. As an example, all of the below assertions work.

defmodule TypetestTest do
  use ExUnit.Case
  use TypeCheck

  defmodule User do
    defstruct []
  end

  @spec! run(Date.t()) :: true
  def run(_), do: true

  test "check types" do
    assert run(Date.utc_today())
    assert run(DateTime.utc_now())
    assert run(%User{})
    assert run(%{})

    assert_raise TypeCheck.TypeError, fn -> run("some string") end
    assert_raise TypeCheck.TypeError, fn -> run(6) end
    assert_raise TypeCheck.TypeError, fn -> run([]) end
  end
end

[Qqwy]

This was a regression introduced by the changes to allow function types. Luckily, finding the problem and fixing it was simple.

Thank you very much for reporting this issue! :heart_eyes:

[Qqwy]

(Verision 0.10.2 which includes the fix has been published)