Improve coverage on lists

Author: josevalim

lib/elixir/test/elixir/module/types/pattern_test.exs

@@ -130,6 +130,12 @@ defmodule Module.Types.PatternTest do
 
       assert typecheck!([x = [1, 2, 3 | y], y = [1.0, 2.0, 3.0]], x) ==
                dynamic(non_empty_list(union(integer(), float())))
+
+      assert typecheck!([x = [:ok | z]], {x, z}) ==
+               dynamic(tuple([non_empty_list(term(), term()), term()]))
+
+      assert typecheck!([x = [y | z]], {x, y, z}) ==
+               dynamic(tuple([non_empty_list(term(), term()), term(), term()]))
     end
 
     test "in patterns through ++" do