elixir - Arc.Ecto.changeset のタイプスペック

Question

Arc.Ecto のchangeset例https://github.com/stavro/arc_ecto をコピーしていますが、タイプスペックについてはよくわかりません。これらを試していますが、ダイアライザーでは機能しないようです。|> cast_attachments(params, [:avatar])

@spec changeset(Ecto.Schema.t, map | :invalid) :: Changeset.t
def changeset(user, params \\ :invalid) do
  user
  |> cast(params, [:name])
  |> cast_attachments(params, [:avatar])
  |> validate_required([:name, :avatar])
end


> The pattern #{'__meta__':=_} can never match the type
> #{'__struct__':='Elixir.Ecto.Changeset', 'action':='delete' | 'insert' | 'nil' | 'replace' | 'update', 'changes':=#{atom()=>_},
> 'constraints':=[#{'constraint':=binary(), 'field':=atom(),
> 'match':='exact' | 'suffix', 'message':={binary(),[{atom(),_}]},
> 'type':='unique'}], 'data':='nil' | map(), 'empty_values':=_,
> 'errors':=[{atom(),{binary(),[{atom(),_}]}}], 'filters':=#{atom()=>_},
> 'params':='nil' | #{binary()=>_},
> 'prepare':=[fun((#{'__struct__':='Elixir.Ecto.Changeset',
> 'action':='delete' | 'insert' | 'nil' | 'replace' | 'update',
> 'changes':=map(), 'constraints':=[any()], _=>_}) ->
> #{'__struct__':='Elixir.Ecto.Changeset', 'action':='delete' | 'insert' | 'nil' | 'replace' | 'update', 'changes':=map(),
> 'constraints':=[any()], _=>_})], 'repo':=atom(), 'required':=[atom()],
> 'types':='nil' | #{atom()=>atom() | {'array',_} |
> {'embed',#{'__struct__':='Elixir.Ecto.Embedded', 'cardinality':='many'
> | 'one', 'field':=atom(), 'on_cast':='nil' | fun(),
> 'on_replace':='delete' | 'mark_as_invalid' | 'raise', 'owner':=atom(),
> 'related':=atom(), 'unique':=boolean()}} | {'in',_} | {'map',_}},
> 'valid?':=boolean(), 'validations':=[{atom(),_}]}

cast_attachments はマクロなので、マクロの typespec を定義する方法がわかりません。ソース コードには仕様が定義されていないためですhttps://github.com/stavro/arc_ecto/blob/master/lib/arc_ecto/schema.ex