Use call spec when determining types of variables #205
Description
Given the code
@spec some(Struct.t()) :: :ok
def some(arg), do: :ok
...
def other(var) do
some(var)
var.
We can assume that var has type Struct.t()
{{ message }}
Given the code
@spec some(Struct.t()) :: :ok
def some(arg), do: :ok
...
def other(var) do
some(var)
var.
We can assume that var has type Struct.t()