SI-7517 type constructors too eagerly normalized.

I think 403eadd0f1 was largely a symptomatic remedy
(not that we shouldn't harden against such outcomes)
and that this commit gets closer to the root causes.
The unanticipated change to test/files/run/t6113.check
is like a cry of support from the jury box.

  -Foo[[X](Int, X)]
  +Foo[AnyRef{type l[X] = (Int, X)}#l]

We should continue to look at calls to normalize with
grave suspicion.

1 files changed, 8 insertions, 0 deletions

diff --git a/test/pending/neg/t2994b.scala b/test/pending/neg/t2994b.scala
new file mode 100644
index 0000000000..20be85eb58
--- /dev/null
+++ b/test/pending/neg/t2994b.scala
@@ -0,0 +1,8 @@
+trait curry[s[_]] { type f = Double }
+
+// a1 and a2 fail to compile, but all three should fail.
+class A {
+  type a1[s[_ <: Int]] = curry[s]
+  type a2[s[_ <: Int]] = curry[s]#f
+  type a3[s[_ <: Int]] = Set[curry[s]#f]
+}