diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-04-29 10:23:16 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-04-29 10:23:24 +0200 |
| commit | fb959f7f7b1938ba0d3f833b4d2713fda6b904f9 (patch) | |
| tree | 4caf4bf41b3b7e83ea7a13ecba78d59e6e9b4fce /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | e64c5610ac90d2e360bc3b1e7a5409e0a3547e67 (diff) | |
| download | dotty-fb959f7f7b1938ba0d3f833b4d2713fda6b904f9.tar.gz dotty-fb959f7f7b1938ba0d3f833b4d2713fda6b904f9.tar.bz2 dotty-fb959f7f7b1938ba0d3f833b4d2713fda6b904f9.zip | |
Refine todo comment
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index d70546f9d..390ecaee9 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -925,7 +925,9 @@ trait Applications extends Compatibility { self: Typer => /** Drop any implicit parameter section */ def stripImplicit(tp: Type): Type = tp match { case mt: ImplicitMethodType if !mt.isDependent => - mt.resultType // todo: make sure implicit method types are not dependent + mt.resultType + // todo: make sure implicit method types are not dependent? + // but check test case in /tests/pos/depmet_implicit_chaining_zw.scala case pt: PolyType => pt.derivedPolyType(pt.paramNames, pt.paramBounds, stripImplicit(pt.resultType)) case _ => |