Skip to content

Types unhandled by the scaladoc TASTy types support #22761

New issue
New issue
Closed
#23320
Closed
Types unhandled by the scaladoc TASTy types support#22761
#23320
Labels
area:doctoolitype:bug
@WojciechMazur

Description

@WojciechMazur
WojciechMazur
opened on Mar 10, 2025
Contributor

The following projects are emmiting warning when generating scaladoc:

scalapb/zio-grpc - build logs

rescala-lang/rescala - build logs

Compiler version

3.7.0-RC1-bin-20250307-977232c-NIGHTLY

Needs minimizaiton

Output

scala.MatchError: Encountered unsupported type. Report this problem to https://github.com/scala/scala3/.
<Internal compiler type SkolemType(1162214087) does not have a corresponding reflect extractor> (of class java.lang.String)
        at dotty.tools.scaladoc.tasty.TypesSupport.inner(TypesSupport.scala:324)
        at dotty.tools.scaladoc.tasty.TypesSupport.inner(TypesSupport.scala:272)
        at dotty.tools.scaladoc.tasty.TypesSupport.dotty$tools$scaladoc$tasty$TypesSupport$$topLevelProcess(TypesSupport.scala:77)
[warn]    |scala.MatchError: Encountered unsupported type. Report this problem to [https://github.com/scala/scala3/.](https://github.com/scala/scala3/)
[warn]    |FlexibleType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix(), "nio")), "channels"), "Selector")) (of class java.lang.String)
[warn]    |	at dotty.tools.scaladoc.tasty.TypesSupport.inner(TypesSupport.scala:324)
[warn]    |	at dotty.tools.scaladoc.tasty.TypesSupport.dotty$tools$scaladoc$tasty$TypesSupport$$topLevelProcess(TypesSupport.scala:77)
[warn]    |	at dotty.tools.scaladoc.tasty.TypesSupport$TypeSyntax$.asSignature(TypesSupport.scala:29)

Expectation

Should be handled by scaladoc

Activity

WojciechMazur
added
itype:bug
stat:needs triageEvery issue needs to have an "area" and "itype" label
on Mar 10, 2025
Gedochao
added
area:doctool
and removed
stat:needs triageEvery issue needs to have an "area" and "itype" label
on Mar 10, 2025
WojciechMazur

WojciechMazur commented on Mar 12, 2025

@WojciechMazur
WojciechMazur
on Mar 12, 2025
ContributorAuthor

Actually this issue can be even found in our own codebase:

[warn] -- Warning: compiler/src/dotty/tools/MainGenericCompiler.scala:90:6 ------------
[warn] 90 |  val classpathSeparator = File.pathSeparator
[warn]    |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[warn]    |scala.MatchError: Encountered unsupported type. Report this problem to [https://github.com/scala/scala3/.](https://github.com/scala/scala3/)
[warn]    |FlexibleType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix(), "java")), "lang"), "String")) (of class java.lang.String)
[warn]    |	at dotty.tools.scaladoc.tasty.TypesSupport.inner(TypesSupport.scala:324)
[warn]    |	at dotty.tools.scaladoc.tasty.TypesSupport.dotty$tools$scaladoc$tasty$TypesSupport$$topLevelProcess(TypesSupport.scala:77)
[warn]    |	at dotty.tools.scaladoc.tasty.TypesSupport$TypeSyntax$.asSignature(TypesSupport.scala:29)
2m
mentioned this on Jun 5, 2025
tgodzik
closed this as completedin #23320on Jul 29, 2025
smarter
added a commit that references this issue on Jul 29, 2025

Add FlexibleType support for scaladoc (scala#23320)

3646e8f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:doctoolitype:bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      Participants

      @Gedochao@WojciechMazur

      Issue actions
        Types unhandled by the scaladoc TASTy types support · Issue #22761 · scala/scala3