diff options
| author | odersky <odersky@gmail.com> | 2015-10-07 15:07:28 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-10-07 15:07:28 +0200 |
| commit | 8532c98672e6dcde4d350f253b46892cc0ece34c (patch) | |
| tree | b834f8e32776b62c0224607e1664f65f39893108 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | a8c8bdad57941071b85caa54bc57b84d8ca7d526 (diff) | |
| parent | 22a2c79adf3acb8b5dd341b552e499bced58c537 (diff) | |
| download | dotty-8532c98672e6dcde4d350f253b46892cc0ece34c.tar.gz dotty-8532c98672e6dcde4d350f253b46892cc0ece34c.tar.bz2 dotty-8532c98672e6dcde4d350f253b46892cc0ece34c.zip | |
Merge pull request #799 from dotty-staging/change-inference
Change inference
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index b28ac9bc5..3bb7a6505 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1352,6 +1352,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit case wtp: ExprType => adaptInterpolated(tree.withType(wtp.resultType), pt, original) case wtp: ImplicitMethodType if constrainResult(wtp, followAlias(pt)) => + val tvarsToInstantiate = tvarsInParams(tree) + wtp.paramTypes.foreach(instantiateSelected(_, tvarsToInstantiate)) val constr = ctx.typerState.constraint def addImplicitArgs = { def implicitArgError(msg: => String): Tree = { |