Skip to content

Fix global capabilities support in scaladoc - #25563

Merged
bracevac merged 4 commits into
scala:mainfrom
dotty-staging:ob-fix-25529
Mar 19, 2026
Merged

Fix global capabilities support in scaladoc#25563
bracevac merged 4 commits into
scala:mainfrom
dotty-staging:ob-fix-25529

Conversation

@bracevac

Copy link
Copy Markdown
Member

Fixes #25529

In the case of uses and uses_init, the tasty parser in scaladoc would run into an infinite cycle trying to resolve owners. This seems to be specific to term refs mutually
referring to each other in the capture sets/@retains annotation of classes.
I was unable to produce a diverging example in non-CC mode that involves only types in annotations.

Additionally, implements proper scaladoc rendering of uses and uses_init.

How much have your relied on LLM-based tools in this contribution?

Used Codex to analyze the problem.

How was the solution tested?

Manually, and with new regression tests in the scaladoc suite.

@bracevac
bracevac requested a review from natsukagami March 18, 2026 17:38
@bracevac
bracevac enabled auto-merge (squash) March 19, 2026 13:47
@bracevac
bracevac merged commit e652b55 into scala:main Mar 19, 2026
64 checks passed
@bracevac
bracevac deleted the ob-fix-25529 branch March 19, 2026 15:30
@WojciechMazur WojciechMazur added this to the 3.8.4 milestone Mar 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Scaladoc hangs when global capabilities uses and uses_init are involved

4 participants