Added test case to check generic signature generation for lists of refined ints

Author: gsps

tests/pos/i3956.scala

@@ -0,0 +1,4 @@
+object Foo {
+  type RInt = Int { val x: Int }
+  def f(xs: List[Int]): List[RInt] = ???
+}