diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-09 14:30:38 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-09 14:30:38 +0200 |
commit | 73525ada82375ef0ff4be61a3bfbae8c74963ad0 (patch) | |
tree | d7b403c60d6eb5471ead5f65b94feecb982f7007 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | a326b06088d7eadde03bbcd56883b62fcfd21011 (diff) | |
download | dotty-73525ada82375ef0ff4be61a3bfbae8c74963ad0.tar.gz dotty-73525ada82375ef0ff4be61a3bfbae8c74963ad0.tar.bz2 dotty-73525ada82375ef0ff4be61a3bfbae8c74963ad0.zip |
Added support for pattern variables and Bind.
Also some fixes in adapt wrt patterns.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 4026b84d4..78817a261 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -616,7 +616,7 @@ trait Applications extends Compatibility { self: Typer => assert(isFullyDefined(unapplyArgType)) pt } - else if (unapplyArgType <:< pt) + else if (unapplyArgType <:< widenForSelector(pt)) ctx.maximizeType(unapplyArgType) match { case None => unapplyArgType case Some(tvar) => |