uv
Avoid rendering desugared prefix matches in error messages
#14195

Merged

Avoid rendering desugared prefix matches in error messages #14195

zanieb merged 1 commit into main from charlie/star

charliermarsh added bug

charliermarsh added area:error-messages

charliermarsh force pushed to 10e34671 1 year ago

charliermarsh requested a review from

zanieb 1 year ago

charliermarsh requested a review from

Gankra 1 year ago

zanieb approved these changes on 2025-06-27

Avoid rendering desugared prefix matches in error messages

9b9a5972

zanieb force pushed from 10e34671 to 9b9a5972 1 year ago

zanieb enabled auto-merge (squash) 1 year ago

zanieb merged 4eef79e5 into main 1 year ago

zanieb deleted the charlie/star branch 1 year ago

Reviewers

zanieb

Gankra

Assignees

No one assigned

Labels

bug area:error-messages

Milestone

No milestone