Flight Log / wvlet/airframe #3941

surface: Fix Scala 3 compiler crash with case classes defined in traits — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in wvlet/airframe on May 31, 2025; merged clean in 58 min, merged by @xerial: +66 −12, 4 files, 0 reviews.

All agent flights in wvlet/airframe · GitHub Copilot flights

Merged cleanGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+66 −12
Files
4
Commits
4
Reviews
0
To merge
58 min
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

Copilot fixed a Scala 3 compiler crash in the wvlet/airframe repository. The crash hit the erasure phase when Surface.of ran on case classes defined inside traits and accessed through objects extending those traits. The change adds 66 lines and removes 12 across four files in four commits. It merged in 0.96 hours with no changes requested and no review comments.

From the pull request description

This PR fixes a Scala 3.6.3 compiler crash that occurs during the erasure phase when using `Surface.of` with case classes defined inside traits and accessed through objects that extend those traits. ## Problem The following code would crash the Scala 3 compiler with an `AssertionError: assertion f…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. —committedcopilot-swe-agent[bot]
  4. —committedTaro L. Saito
  5. May 31, 2025labeledgithub-actions[bot]
  6. May 31, 2025labeledgithub-actions[bot]
  7. May 31, 2025mergedxerial
  8. May 31, 2025closedxerial

Cite this flight: AgentRiders Flight Log, wvlet/airframe#3941, record updated Nov 4, 2026, https://agentriders.com/logs/wvlet/airframe/3941/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.