Merge pull request scala#3980 from retronym/ticket/8844

lrytz · lrytz · commit 190c6726158f · 2014-09-17T10:58:10.000+02:00
SI-8844 Fix regression with existentials + type aliases
diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala
@@ -2605,7 +2605,7 @@ trait Types
       // derived from the existentially quantified type into the typing environment
       // (aka \Gamma, which tracks types for variables and constraints/kinds for types)
       // as a nice bonus, delaying this until we need it avoids cyclic errors
-      def tpars = underlying.typeSymbol.initialize.typeParams
+      def tpars = underlying.typeSymbolDirect.initialize.typeParams
 
       def newSkolem(quant: Symbol) = owner.newExistentialSkolem(quant, origin)
       def newSharpenedSkolem(quant: Symbol, tparam: Symbol): Symbol = {
diff --git a/test/files/pos/t8844.scala b/test/files/pos/t8844.scala
@@ -0,0 +1,4 @@
+object Example {
+  type S[A] = String
+  def foo(s: S[_]): String = s
+}
