Add missing case in accessibleSelection type

odersky · odersky · commit 04b86dc37710 · 2018-04-28T11:15:05.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
@@ -256,6 +256,7 @@ trait TypeAssigner {
   def accessibleSelectionType(tree: untpd.RefTree, qual1: Tree)(implicit ctx: Context): Type = {
     var qualType = qual1.tpe.widenIfUnstable
     if (qualType.isLambdaSub) qualType = errorType(em"$qualType takes type parameters", qual1.pos)
+    else if (!qualType.isInstanceOf[TermType]) qualType = errorType(em"$qualType is illegal as a selection prefix", qual1.pos)
     val ownType = selectionType(qualType, tree.name, tree.pos)
     ensureAccessible(ownType, qual1.isInstanceOf[Super], tree.pos)
   }
diff --git a/tests/neg/parser-stability-2.scala b/tests/neg/parser-stability-2.scala
@@ -0,0 +1,2 @@
+trait x0 {
+new _

Original file line number	Diff line number	Diff line change
`@@ -256,6 +256,7 @@ trait TypeAssigner {`
`256`	`256`	`def accessibleSelectionType(tree: untpd.RefTree, qual1: Tree)(implicit ctx: Context): Type = {`
`257`	`257`	`var qualType = qual1.tpe.widenIfUnstable`
`258`	`258`	`if (qualType.isLambdaSub) qualType = errorType(em"$qualType takes type parameters", qual1.pos)`
	`259`	`+ else if (!qualType.isInstanceOf[TermType]) qualType = errorType(em"$qualType is illegal as a selection prefix", qual1.pos)`
`259`	`260`	`val ownType = selectionType(qualType, tree.name, tree.pos)`
`260`	`261`	`ensureAccessible(ownType, qual1.isInstanceOf[Super], tree.pos)`
`261`	`262`	`}`