Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Not supported type in refinement warning from scaladoc #20170

Open
SimY4 opened this issue Apr 12, 2024 · 0 comments
Open

Not supported type in refinement warning from scaladoc #20170

SimY4 opened this issue Apr 12, 2024 · 0 comments
Labels
area:doctool area:reporting Error reporting including formatting, implicit suggestions, etc itype:bug

Comments

@SimY4
Copy link

SimY4 commented Apr 12, 2024

Compiler version

3.4.1

Minimized code

import java.io.IOException
import scala.annotation.experimental

trait T[F[_]]:
  def doSmth: F[Unit]

@experimental
class C extends T[[X] =>> CanThrow[IOException] ?=> X]:
  def doSmth: CanThrow[IOException] ?=> Unit = ()

Output

scalac compiles with no warnings. scaladoc shows this warning:

docs/scaladoc/scripts/searchData.js:253:{"l":"C.html#","e":false,"i":"","n":"ProcessingEnv","t":"ProcessingEnv(filer: Filer) extends T[[X] =>> Unsupported[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(TermRef(ThisType(TypeRef(NoPrefix,module class java)),object io),IOException))),ConcreteAnnotation(Apply(Select(New(TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,module class internal)),class ErasedParam)]),<init>),List())))), TypeParamRef(X))]]","d":"C","k":"class","x":""},
@SimY4 SimY4 added itype:bug stat:needs triage Every issue needs to have an "area" and "itype" label labels Apr 12, 2024
@nicolasstucki nicolasstucki added area:doctool and removed stat:needs triage Every issue needs to have an "area" and "itype" label labels Apr 12, 2024
@Gedochao Gedochao added the area:reporting Error reporting including formatting, implicit suggestions, etc label Apr 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:doctool area:reporting Error reporting including formatting, implicit suggestions, etc itype:bug
Projects
None yet
Development

No branches or pull requests

3 participants