Scaladoc issue with capture checking

[nicolasstucki]

Compiler version

3.4.0

Reproduction

Note: this diff should not be committed to main at this time

Build.scala

  lazy val Scala3 = Def.task {
    val dottyJars: Seq[java.io.File] = Seq(
-     (`scala2-library-bootstrapped`/Compile/products).value,
+    (`scala2-library-cc`/Compile/products).value,
      (`scala3-library-bootstrapped`/Compile/products).value,
      (`scala3-interfaces`/Compile/products).value,
      (`tasty-core-bootstrapped`/Compile/products).value,
    ).flatten

sbt> scaladoc/generateScalaDocumentation

Output

...
Problem parsing scala2-library-cc/src/scala/collection/immutable/LazyListIterable.scala:[290..298..51443], documentation may not be generated.
...
WARN: Unsupported type: Not supported type in refinement ContextualMethodType(List(x$1), List(AnnotatedType(AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),CanThrow),List(TypeRef(NoPrefix,type E))),ConcreteAnnotation(Apply(Select(New(TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,module class internal)),class ErasedParam)]),<init>),List())))), TypeRef(NoPrefix,type R)): scala.PolyFunction {
  def apply(x$1: scala.CanThrow[E] @scala.annotation.internal.ErasedParam): R
}
Companion for class LazyListIterable exists but is missing in classlike map
...

Expectation

Should generate doc with no warnings

[nicolasstucki]

@Florian3k, this type

ContextualMethodType(List(x$1), List(AnnotatedType(AppliedType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),CanThrow),List(TypeRef(NoPrefix,type E))),ConcreteAnnotation(Apply(Select(New(TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,module class internal)),class ErasedParam)]),<init>),List())))), TypeRef(NoPrefix,type R)): scala.PolyFunction {
  def apply(x$1: scala.CanThrow[E] @scala.annotation.internal.ErasedParam): R
}

is a

(erased x$1: scala.CanThrow[E]) ?=> R

[Florian3k]

This is most likely not related to capture checking.
@Linyxus - I'll take care of this.