diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-17 13:17:49 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
commit | 2b5d1a80023f5676f5a97f0c56919c1f04f7ce2f (patch) | |
tree | 2a6acc50c54594e7cfe48314cdc46dc4922bc72c /compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala | |
parent | 30af0b52e4e5b185ef84496559dc44c8d93d6357 (diff) | |
download | dotty-2b5d1a80023f5676f5a97f0c56919c1f04f7ce2f.tar.gz dotty-2b5d1a80023f5676f5a97f0c56919c1f04f7ce2f.tar.bz2 dotty-2b5d1a80023f5676f5a97f0c56919c1f04f7ce2f.zip |
Refactor ParamRef so that no type params are needed
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala b/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala index 7406d1786..89e4f93e2 100644 --- a/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala +++ b/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala @@ -485,7 +485,7 @@ object ProtoTypes { case inst => wildApprox(inst, theMap, seen) } approxPoly - case ParamRef(mt, pnum) => + case TermParamRef(mt, pnum) => WildcardType(TypeBounds.upper(wildApprox(mt.paramInfos(pnum), theMap, seen))) case tp: TypeVar => wildApprox(tp.underlying, theMap, seen) |