diff options
| author | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-15 16:59:40 +0200 |
|---|---|---|
| committer | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-15 17:03:09 +0200 |
| commit | 5450507c663bca565b2b61b8afb1073c991c9827 (patch) | |
| tree | 034fa122e9ef517626a5b54e3a9f954a08bd9a97 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 3f3df3d8f7638eb5cca9ae8162f8388373c912c6 (diff) | |
| download | dotty-5450507c663bca565b2b61b8afb1073c991c9827.tar.gz dotty-5450507c663bca565b2b61b8afb1073c991c9827.tar.bz2 dotty-5450507c663bca565b2b61b8afb1073c991c9827.zip | |
Fix #1513: misaligned by name type parameter type bounds
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 87d94dcbe..cb423e186 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2532,8 +2532,8 @@ object Types { /** A type for polymorphic methods */ class PolyType(val paramNames: List[TypeName])(paramBoundsExp: GenericType => List[TypeBounds], resultTypeExp: GenericType => Type) extends CachedGroundType with GenericType with MethodOrPoly { - val paramBounds = paramBoundsExp(this) - val resType = resultTypeExp(this) + val paramBounds: List[TypeBounds] = paramBoundsExp(this) + val resType: Type = resultTypeExp(this) def variances = Nil protected def computeSignature(implicit ctx: Context) = resultSignature |