Fix regression #17245

scala · Jul 25, 2023 · 94e4df9 · 94e4df9
1 parent aac8ba7
commit 94e4df9
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala
@@ -1118,7 +1118,7 @@ class Definitions {
         case ErasedFunctionOf(mt) =>
           Some(mt.paramInfos, mt.resType, mt.isContextualMethod)
         case _ =>
-          val tsym = ft.dealias.typeSymbol
+          val tsym = ft.typeSymbol
           if isFunctionSymbol(tsym) && ft.isRef(tsym) then
             val targs = ft.dealias.argInfos
             if (targs.isEmpty) None

diff --git a/tests/pos/i17245.scala b/tests/pos/i17245.scala
@@ -0,0 +1,17 @@
+import scala.reflect.ClassTag
+
+trait MockSettings
+
+object Mockito {
+  def mock[T : ClassTag]: T = ???
+  def mock[T : ClassTag](settings: MockSettings): T = ???
+}
+
+trait Channel
+type OnChannel = Channel => Any
+
+@main def Test =
+  val case1: OnChannel = Mockito.mock[OnChannel]
+  val case2: OnChannel = Mockito.mock
+  val case3 = Mockito.mock[OnChannel]
+  val case4: OnChannel =  Mockito.mock[OnChannel](summon[ClassTag[OnChannel]])