Implement `tracked` members#21761

Merged

KacperFKorban merged 12 commits intoscala:mainfrom

dotty-staging:abstract-tracked

Dec 19, 2024

Commits on Oct 10, 2024

First draft of abstract tracked vals
KacperFKorban
committed

Commits on Oct 11, 2024

Disallow tracked for unusupported definitions, move tracked modifier behind a flag, reemove debugs and add some more tests
KacperFKorban
committed

Commits on Oct 14, 2024

Commits on Oct 17, 2024

Support inferring precise types for non-overriding members declared as tracked
KacperFKorban
committed

Commits on Nov 1, 2024

Move setAbstractTrackedInfo to Namer.Completer
mbovel
committed

Commits on Nov 3, 2024

Commits on Nov 11, 2024

Merge pull request #53 from dotty-staging/mb/abstract-tracked-namer
KacperFKorban
authored

Commits on Nov 18, 2024

Add a section about tracked members to the modularity doc and update the
KacperFKorban
committed

Commits on Dec 18, 2024

Update compiler/src/dotty/tools/dotc/typer/Namer.scala

KacperFKorban
and
odersky
authored

Commits on Dec 19, 2024

Merge branch 'main' into abstract-tracked
KacperFKorban
authored