diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-10-24 22:09:59 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-25 15:10:10 +0100 |
commit | 6d8f3730ca4d381b105737edaff6f8794b54e848 (patch) | |
tree | 09d5b77a27ca6af4fd9bbd6c05d6ceb3af9a6165 /src | |
parent | ae0e1263c22e6b94b112a2b4b00a49853f0e3d58 (diff) | |
download | dotty-6d8f3730ca4d381b105737edaff6f8794b54e848.tar.gz dotty-6d8f3730ca4d381b105737edaff6f8794b54e848.tar.bz2 dotty-6d8f3730ca4d381b105737edaff6f8794b54e848.zip |
Fix issue that prevented instantiating some tvars before implicit search
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/typer/Inferencing.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Inferencing.scala b/src/dotty/tools/dotc/typer/Inferencing.scala index f414d3bce..ac4ad1b35 100644 --- a/src/dotty/tools/dotc/typer/Inferencing.scala +++ b/src/dotty/tools/dotc/typer/Inferencing.scala @@ -141,7 +141,7 @@ object Inferencing { if (toTest.isEmpty) acc else tree match { case Apply(fn, _) => - fn.tpe match { + fn.tpe.widen match { case mtp: MethodType => val (occ, nocc) = toTest.partition(tvar => mtp.paramTypes.exists(tvar.occursIn)) occurring(fn, nocc, occ ::: acc) |