The problem seems to be at https://github.com/lampepfl/dotty/blob/2b391c82de1861d8ab0196e78dd2975539b8082a/scaladoc/src/dotty/tools/scaladoc/tasty/comments/markdown/SectionRenderingExtension.scala#L30-L36

An element is inserted using getOrElseUpdate at line 34 and read directly after at line 36. Yet in some cases, the key is not found. Is this code called concurrently? If yes, could there be a race condition on the update of repeatedIds and should we use a concurrent Map instead?

Code originates from bcdad27. cc @szymon-rd.

Nightly Dotty workflow of 2023-07-05 failed #18143

Description

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions