chore: migrate to source compatibility with 3.8.0#3634

Merged

mpilquist merged 1 commit intotypelevel:mainfrom

dotty-staging:3.8.0

Nov 30, 2025

Commits on Nov 5, 2025

chore: migrate to source for compatibility with 3.8.0
hamzaremmal
committed