feat: simpler error message when sorries complicate universe inference #15374
Triggered via pull request
December 4, 2025 18:48
robsimmons
robsimmons
labeled
#11513
Status
Skipped
Total duration
1s
Artifacts
–