diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-06 22:15:47 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-09-06 22:15:47 +0200 |
| commit | 2aa0615594744a7fd92f5f4d017b47e5c42a793a (patch) | |
| tree | 90e4458cf2cbfdc03152588eebacb031513197ac /src/dotty/tools/dotc/typer/Inferencing.scala | |
| parent | f7ab848229e8b9b0de1b719725816209aa1271c8 (diff) | |
| download | dotty-2aa0615594744a7fd92f5f4d017b47e5c42a793a.tar.gz dotty-2aa0615594744a7fd92f5f4d017b47e5c42a793a.tar.bz2 dotty-2aa0615594744a7fd92f5f4d017b47e5c42a793a.zip | |
Improvements in implicits error reporting
Plus a few bugfixes for implicits
Diffstat (limited to 'src/dotty/tools/dotc/typer/Inferencing.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Inferencing.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Inferencing.scala b/src/dotty/tools/dotc/typer/Inferencing.scala index 7ae20062b..58e5f73c9 100644 --- a/src/dotty/tools/dotc/typer/Inferencing.scala +++ b/src/dotty/tools/dotc/typer/Inferencing.scala @@ -79,6 +79,8 @@ object Inferencing { case class ViewProto(argType: Type, override val resultType: Type)(implicit ctx: Context) extends CachedGroundType with ProtoType { def isMatchedBy(tp: Type)(implicit ctx: Context) = ctx.typer.isApplicableToTypes(tp, argType :: Nil, resultType) + override def namedPartsWith(p: NamedType => Boolean)(implicit ctx: Context): Set[NamedType] = + argType.namedPartsWith(p) | resultType.namedPartsWith(p) override def computeHash = doHash(argType, resultType) } |