エリクサー、ダイアライザー、タイプとサブタイプ警告

Question

私は「-Woverspecs」で透析装置を実行すると、この警告受けています：このコードで

room_channel.ex:143: 
Type specification 'Elixir.Backend.RoomChannel': 
testU(a) -> a when is_subtype(a,#{}) 
is a subtype of the success typing: 'Elixir.Backend.RoomChannel':testU(_) -> any() 

を：

@spec testU(a) :: a when a: %Backend.User{} 
def testU(u) do 
... 

私はやってみたいものですサブタイプの警告が消えるようにガードを使用して関数タイプを特定し、関数の正確な定義を持っています。

私はすべてのアイデアやポインタ

... -Woverspecsを奨励し、私は考えることができる唯一の解決策は、いくつかの複雑な関数ガードであるとして、私は穀物に対して切削い疑われていないErlangのドキュメントで参照してください？

Answer 1

-Woverspecsと入力すると、という制限付きのタイプがあると、Dialyzer自身の分析で推論できるものよりも警告が表示されます。

testU関数は、引数がaと異なる場合に値を返すこともあります。

あなたが探しているのは-Wunderspecsです。これは、あなたの仕様がの場合にDialeyzerが推測できるものよりも警告が出ます。