Skip to content

Commit 8b05e78

Browse files
authored
Avoid crash where creator proxies are referenced indirectly (#16098)
Fixes #16095
2 parents 709a02a + 873338e commit 8b05e78

File tree

2 files changed

+18
-0
lines changed

2 files changed

+18
-0
lines changed

compiler/src/dotty/tools/dotc/typer/Typer.scala

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4013,6 +4013,8 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
40134013
cpy.Select(qual)(pre, name.toTypeName)
40144014
case qual: This if qual.symbol.is(ModuleClass) =>
40154015
cpy.Ident(qual)(qual.symbol.name.sourceModuleName.toTypeName)
4016+
case _ =>
4017+
errorTree(tree, em"cannot convert from $tree to an instance creation expression")
40164018
val tycon = tree.tpe.widen.finalResultType.underlyingClassRef(refinementOK = false)
40174019
typed(
40184020
untpd.Select(

tests/neg/i16095.scala

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
package x
2+
3+
import scala.concurrent.*
4+
5+
def cpsAsync[F[_]] =
6+
Test.InfernAsyncArg
7+
8+
object Test {
9+
class InfernAsyncArg[F[_]] {
10+
def apply[A](): F[A] = ???
11+
}
12+
object InfernAsyncArg
13+
14+
def testExample1Future(): Unit =
15+
val fr = cpsAsync[Future]() // error
16+
}

0 commit comments

Comments
 (0)