Coverage: mark case bodies as branches; don't ignore branches with synthetic spans#18437

Merged

sjrd merged 1 commit intoscala:mainfrom

dotty-staging:coverage-case-branches

Aug 22, 2023

Commits on Aug 22, 2023

Coverage: mark case bodies as branches; don't ignore branches with synthetic spans
KacperFKorban
committed