Skip to content

Scaladoc hangs when global capabilities uses and uses_init are involved #25529

Description

@natsukagami

Compiler version

Latest nightly (Scala 3.8.4-RC1-bin-20260314-9b6c1d5-NIGHTLY-git-9b6c1d5)

Minimized code

//> using scala 3.nightly
package a

import language.experimental.captureChecking
import caps.*

class A extends SharedCapability:
  private var x = 0
  def f() = x += 1

object ObjA:
  val a: A^ = A()

object ObjB uses_init ObjA:
  val x = ObjA.a.f()

object ObjC uses ObjA:
  def x = ObjA.a.f()

Output

Running scala doc on this file hangs forever.
Removing ObjB and ObjC will resolve it.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions