そのパターンって 1段しか推論できないんですっけ

6:25 PM

左辺値の型に対して探索する事は決まってるはずだから、右辺の式が多段になっててもできていい気がする(言語仕様の改善として

6:25 PM

両辺が不定のまま推論でガッチャンコするようなパターンもあるんだろうか、あまり書かなくてわからない