diff options
| -rw-r--r-- | src/dotty/tools/dotc/transform/PostTyper.scala | 5 | ||||
| -rw-r--r-- | tests/pos/i566.scala | 5 |
2 files changed, 7 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/transform/PostTyper.scala b/src/dotty/tools/dotc/transform/PostTyper.scala index 55270f233..a0670bca0 100644 --- a/src/dotty/tools/dotc/transform/PostTyper.scala +++ b/src/dotty/tools/dotc/transform/PostTyper.scala @@ -104,12 +104,11 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisTran private def transformAnnots(tree: MemberDef)(implicit ctx: Context): Unit = tree.symbol.transformAnnotations(transformAnnot) - private def transformSelect(tree: Select, targs: List[Tree])(implicit ctx: Context) = { + private def transformSelect(tree: Select, targs: List[Tree])(implicit ctx: Context): Tree = { val qual = tree.qualifier qual.symbol.moduleClass.denot match { case pkg: PackageClassDenotation if !tree.symbol.maybeOwner.is(Package) => - assert(targs.isEmpty) - cpy.Select(tree)(qual select pkg.packageObj.symbol, tree.name) + transformSelect(cpy.Select(tree)(qual select pkg.packageObj.symbol, tree.name), targs) case _ => superAcc.transformSelect(super.transform(tree), targs) } diff --git a/tests/pos/i566.scala b/tests/pos/i566.scala new file mode 100644 index 000000000..34d25f8f2 --- /dev/null +++ b/tests/pos/i566.scala @@ -0,0 +1,5 @@ +object Test { + type T = String + type U + reflect.classTag[T] +} |