diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-11-11 17:01:30 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-11-11 17:01:30 +0100 |
| commit | 49cef124a7be97647db3ccdbb0b775f53e5265d0 (patch) | |
| tree | 4c8bd34a5f8050890adb409821c0c4023195500f /src/dotty/tools/dotc/typer/Inliner.scala | |
| parent | 49022717bc0e8c0de8834f4cde5021e1da8c0ea0 (diff) | |
| download | dotty-49cef124a7be97647db3ccdbb0b775f53e5265d0.tar.gz dotty-49cef124a7be97647db3ccdbb0b775f53e5265d0.tar.bz2 dotty-49cef124a7be97647db3ccdbb0b775f53e5265d0.zip | |
Replace PolyType.fromSymbols with LambdaAbstract
As a side effect, avoid creating synthetic parameters in lambda abstract.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Inliner.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Inliner.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Inliner.scala b/src/dotty/tools/dotc/typer/Inliner.scala index 6499167ad..f6616d329 100644 --- a/src/dotty/tools/dotc/typer/Inliner.scala +++ b/src/dotty/tools/dotc/typer/Inliner.scala @@ -120,7 +120,7 @@ object Inliner { // Abstract accessed type over local refs def abstractQualType(mtpe: Type): Type = if (localRefs.isEmpty) mtpe - else PolyType.fromSymbols(localRefs.map(_.symbol), mtpe).asInstanceOf[PolyType].flatten + else mtpe.LambdaAbstract(localRefs.map(_.symbol)).asInstanceOf[PolyType].flatten val accessorType = abstractQualType(addQualType(dealiasMap(accessedType))) val accessor = accessorSymbol(tree, accessorType).asTerm |