diff options
| author | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-09-17 10:58:10 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2014-09-17 10:58:10 +0200 |
| commit | 190c6726158f3f7e1ac5d26782437c184cee5872 (patch) | |
| tree | 7316e059e6d0cb95b940b4e2055ffd080f8c097b /src/reflect | |
| parent | 223e207e5a4904bf9a6bd70972fa69452d228529 (diff) | |
| parent | a8a31e96dd115da09236a3d8f0d761f03db866fd (diff) | |
| download | scala-190c6726158f3f7e1ac5d26782437c184cee5872.tar.gz scala-190c6726158f3f7e1ac5d26782437c184cee5872.tar.bz2 scala-190c6726158f3f7e1ac5d26782437c184cee5872.zip | |
Merge pull request #3980 from retronym/ticket/8844
SI-8844 Fix regression with existentials + type aliases
Diffstat (limited to 'src/reflect')
| -rw-r--r-- | src/reflect/scala/reflect/internal/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala index f26315c538..a95f626a0b 100644 --- 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 = { |