diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-09-05 18:20:25 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:11:21 +0200 |
| commit | 60b6c6a3059b23cf0cc1968cc3c7ee3886784721 (patch) | |
| tree | bb167f7f4ea164aa49c56e35065abceeb710bf2b /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | 5a345e7100450d39edf0034cc5b83bdb9a851cfa (diff) | |
| download | dotty-60b6c6a3059b23cf0cc1968cc3c7ee3886784721.tar.gz dotty-60b6c6a3059b23cf0cc1968cc3c7ee3886784721.tar.bz2 dotty-60b6c6a3059b23cf0cc1968cc3c7ee3886784721.zip | |
Harden ReTyper so that it's fit for inlining
1. Imlement typedUnapply
2. Disable implicit view searches and searches
for equality checks - these should have already
happened in the first typer run.
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 55d9fc990..2c9039db1 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -861,7 +861,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic => /** A typed unapply hook, can be overridden by re any-typers between frontend * and pattern matcher. */ - def typedUnApply(tree: untpd.UnApply, selType: Type)(implicit ctx: Context) = + def typedUnApply(tree: untpd.UnApply, selType: Type)(implicit ctx: Context): UnApply = throw new UnsupportedOperationException("cannot type check an UnApply node") /** Is given method reference applicable to type arguments `targs` and argument trees `args`? |