Skip to content

Fix #25555: Preserve singleton precision during scoverage lifting#25556

Draft
anatoliykmetyuk wants to merge 3 commits intoscala:mainfrom
anatoliykmetyuk:fix-coverage-widening
Draft

Fix #25555: Preserve singleton precision during scoverage lifting#25556
anatoliykmetyuk wants to merge 3 commits intoscala:mainfrom
anatoliykmetyuk:fix-coverage-widening

Conversation

@anatoliykmetyuk
Copy link
Contributor

@anatoliykmetyuk anatoliykmetyuk commented Mar 18, 2026

Fixes #25555:

  • Preserve type precision when lifting for Scoverage.
  • Use inheritance to limit the above change to the typing logic to only affect the Scoverage lifting and not general lifting done by EtaExpansion.scala.

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

Moderately

How was the solution tested?

  • Tests included in the PR pass locally
  • Full pos and coverage tests suite pass locally

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.

Coverage instrumentation widens singleton types during argument lifting, causing Ycheck failure

1 participant