Fix #20206

compiler/src/dotty/tools/dotc/transform/ContextFunctionResults.scala

@@ -4,6 +4,7 @@ package transform
 
 import core.*
 import Contexts.*, Symbols.*, Types.*, Annotations.*, Constants.*, Phases.*
+import Decorators.*
 import StdNames.nme
 import ast.untpd
 import ast.tpd.*
@@ -115,11 +116,9 @@ object ContextFunctionResults:
     else tree match
       case Select(qual, name) =>
         if name == nme.apply then
-          qual.tpe.nn.dealias match
+          qual.tpe.nn.widenDealias match
             case defn.FunctionTypeOfMethod(mt) if mt.isContextualMethod =>
               integrateSelect(qual, n + 1)
-            case _ if defn.isContextFunctionClass(tree.symbol.maybeOwner) => // for TermRefs
-              integrateSelect(qual, n + 1)
             case _ =>
               n > 0 && contextResultCount(tree.symbol) >= n
         else

tests/pos/i20206.scala

@@ -0,0 +1,15 @@
+//> using options -experimental -Yno-experimental
+
+import language.experimental.erasedDefinitions
+
+erased trait A
+trait B
+
+def foo1: A ?=> B ?=> Nothing = ???
+def foo2: (A, B) ?=> Nothing = ???
+def foo3: (B, A) ?=> Nothing = ???
+
+def bar: (A, B) ?=> Nothing =
+  foo1
+  foo2
+  foo3