diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:13:23 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:13:23 +0100 |
commit | a4937916037f74b414c9bab1819681ed2ecd7fdc (patch) | |
tree | 71cf57f98ad8a49096711614fa6ec2c858f8d614 /src/dotty/tools/dotc/typer/ProtoTypes.scala | |
parent | eb4d80891bcfaf9ffa402ea36f1562c5f597e479 (diff) | |
download | dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.tar.gz dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.tar.bz2 dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.zip |
Fixups taking into account reviewer's comments.
Diffstat (limited to 'src/dotty/tools/dotc/typer/ProtoTypes.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/ProtoTypes.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/ProtoTypes.scala b/src/dotty/tools/dotc/typer/ProtoTypes.scala index 521f0deaa..e4d58cb19 100644 --- a/src/dotty/tools/dotc/typer/ProtoTypes.scala +++ b/src/dotty/tools/dotc/typer/ProtoTypes.scala @@ -376,7 +376,7 @@ object ProtoTypes { tp.derivedRefinedType(wildApprox(tp.parent, theMap), tp.refinedName, wildApprox(tp.refinedInfo, theMap)) case tp: TypeAlias => // default case, inlined for speed tp.derivedTypeAlias(wildApprox(tp.alias, theMap)) - case tp @ PolyParam(poly, pnum) => // !!! todo adapt to TrackingConstraint + case tp @ PolyParam(poly, pnum) => ctx.typerState.constraint.entry(tp) match { case bounds: TypeBounds => wildApprox(WildcardType(bounds)) case NoType => WildcardType(wildApprox(poly.paramBounds(pnum)).bounds) |