diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-30 18:58:24 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-10-01 11:27:47 +0200 |
| commit | d9c99dd1a52177aef563803d82ffa3096db2e3c3 (patch) | |
| tree | a99d288421b6f8ae05acef4016a8d721ae1a8b5c /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | e28dd856f6c0ccbd4094a73311a9c820f73913c4 (diff) | |
| download | dotty-d9c99dd1a52177aef563803d82ffa3096db2e3c3.tar.gz dotty-d9c99dd1a52177aef563803d82ffa3096db2e3c3.tar.bz2 dotty-d9c99dd1a52177aef563803d82ffa3096db2e3c3.zip | |
Removing a triggered assertion in applications.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 673791d8d..3216e8b74 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -473,15 +473,13 @@ trait Applications extends Compatibility { self: Typer => case Select(qual, name) => tryEither { implicit ctx => val qual1 = adapt(qual, new SelectionProto(name, proto)) - if (qual1.tpe.isError) qual1 - else { - assert(qual1 ne qual, s"$qual1 : ${qual1.tpe}") + if (qual1.tpe.isError || (qual1 eq qual)) qual1 + else typedApply( cpy.Apply(tree, cpy.Select(fun1, untpd.TypedSplice(qual1), name), proto.typedArgs map untpd.TypedSplice), pt) - } } { _ => failed.commit() } case _ => |