diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-08-30 17:23:22 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-30 17:23:22 +0200 |
| commit | 5e7c262bf08fafb8ced88688121a05efda81f21b (patch) | |
| tree | 9f86e7e997d9ed5ec2cbd713d3658d648e3a2cef /src/dotty/tools/dotc/typer/ReTyper.scala | |
| parent | 4041c5d590f78323d640c6eec7e370a37a01c416 (diff) | |
| download | dotty-5e7c262bf08fafb8ced88688121a05efda81f21b.tar.gz dotty-5e7c262bf08fafb8ced88688121a05efda81f21b.tar.bz2 dotty-5e7c262bf08fafb8ced88688121a05efda81f21b.zip | |
Moving an assertion from erasure to TreeChecker.
The move caught an illegal erased type in a SelectFromType node.
Diffstat (limited to 'src/dotty/tools/dotc/typer/ReTyper.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/ReTyper.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/ReTyper.scala b/src/dotty/tools/dotc/typer/ReTyper.scala index 4014aa202..3826531cb 100644 --- a/src/dotty/tools/dotc/typer/ReTyper.scala +++ b/src/dotty/tools/dotc/typer/ReTyper.scala @@ -35,7 +35,7 @@ class ReTyper extends Typer { untpd.cpy.Select(tree)(qual1, tree.name).withType(tree.typeOpt) } - override def typedSelectFromTypeTree(tree: untpd.SelectFromTypeTree, pt: Type)(implicit ctx: Context): SelectFromTypeTree = { + override def typedSelectFromTypeTree(tree: untpd.SelectFromTypeTree, pt: Type)(implicit ctx: Context): Tree = { assert(tree.hasType) val qual1 = typed(tree.qualifier, AnySelectionProto) untpd.cpy.SelectFromTypeTree(tree)(qual1, tree.name).withType(tree.typeOpt) |