Backport "A tweak to type improvement" to 3.5.2#21474

Merged

WojciechMazur merged 2 commits into3.5.xfrom

release-3.5.x-21312

Aug 28, 2024

Commits on Aug 28, 2024

A tweak to type improvement

odersky
authored and
WojciechMazur
committed
Rename test to correct issue number

odersky
authored and
WojciechMazur
committed