fixed bug 1056: due to mixed use of normalized ...

fixed bug 1056: due to mixed use of normalized and non-normalized types

should normalize types that were previously tested by a predicate that implicitly considered the normalized type. Before, given e.g., type X = Function[String, String], ``X''.isFunctionType  was true (uses symbol, which normalizes), but ``X''.typeArgs.isEmpty (the alias doesn't have any type arguments)

(there are probably more cases like this, for now looked for .typeArgs)

1 files changed, 5 insertions, 0 deletions

diff --git a/test/files/pos/bug1056.scala b/test/files/pos/bug1056.scala
new file mode 100644
index 0000000000..68f1ff2731
--- /dev/null
+++ b/test/files/pos/bug1056.scala
@@ -0,0 +1,5 @@
+object Test {
+  type T = PartialFunction[String,String]
+  def g(h: T) = ()
+  g({case s: String => s})
+}