diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-10-10 16:25:26 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-11-22 20:10:18 +0100 |
| commit | 1e1f260577d8522a5c99052cea5b3ebe64a12830 (patch) | |
| tree | 790d8735bf20fcb38088408227e1af7651464be7 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 33feb9dea9db0695f510654348455133707e0740 (diff) | |
| download | dotty-1e1f260577d8522a5c99052cea5b3ebe64a12830.tar.gz dotty-1e1f260577d8522a5c99052cea5b3ebe64a12830.tar.bz2 dotty-1e1f260577d8522a5c99052cea5b3ebe64a12830.zip | |
Add the right constructor to Java annotations
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index aa8036fc5..7dba8c026 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2026,7 +2026,7 @@ object Types { if ((paramNames eq this.paramNames) && (paramBounds eq this.paramBounds) && (restpe eq this.resultType)) this else copy(paramNames, paramBounds, restpe) - def copy(paramNames: List[TypeName], paramBounds: List[TypeBounds], restpe: Type)(implicit ctx: Context) = + def copy(paramNames: List[TypeName] = this.paramNames, paramBounds: List[TypeBounds] = this.paramBounds, restpe: Type)(implicit ctx: Context) = PolyType(paramNames)( x => paramBounds mapConserve (_.subst(this, x).bounds), x => restpe.subst(this, x)) |