On Mon, 5 Apr 2021 09:48:21 -0400 Allen Madsen <allen.c.mad...@gmail.com> wrote:
> @spec foo(1) :: "one" > @spec foo(2) :: "two" > def foo(1), do: "one" > def foo(2), do: "two" Yes, but those would not be duplicated. These would, and Dialyzer will error saying that "foo/1 has overlapping domains" @spec foo(1) :: "one" @spec foo(1) :: "one" @spec foo(2) :: "two" def foo(1), do: "one" def foo(2), do: "two" -- You received this message because you are subscribed to the Google Groups "elixir-lang-core" group. To unsubscribe from this group and stop receiving emails from it, send an email to elixir-lang-core+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-core/606b1667.1c69fb81.a50a7.daaeSMTPIN_ADDED_MISSING%40gmr-mx.google.com.