Simpler inference for tracked#22972

Merged

odersky merged 11 commits intoscala:mainfrom

dotty-staging:simple-tracked-inference

Oct 15, 2025

Commits on Oct 13, 2025

Experiment with simpler inference for tracked

KacperFKorban
authored and
odersky
committed
WIP notes and stuff

KacperFKorban
authored and
odersky
committed
Fix eagerly typing annotations when inferring tracked

KacperFKorban
authored and
odersky
committed
Fix failed tracked-related tests

KacperFKorban
authored and
odersky
committed
Cleanup

KacperFKorban
authored and
odersky
committed
Allow annotations for parameters that get inferred tracked
odersky
committed
Drop the isExplicit type and hasExplicitType logic
odersky
committed
Drop the "needs tracked" diagnostic
odersky
committed
Break out code for testing tracked inference
odersky
committed
Turn `testTrackedInference` off
odersky
committed
Update doc page
odersky
committed