Skip to content

Conversation

hamishknight
Copy link
Contributor

Noticed this while working on another patch, make sure we emit a diagnostic if we fail to match a DynamicTypeOf constraint.

Copy link
Contributor

@xedin xedin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me overall, I left a few potential improvement suggestions inline but they are non-blocking really.

Emit a custom diagnostic for this case, and handle holes.
@hamishknight
Copy link
Contributor Author

@swift-ci please smoke test

@hamishknight hamishknight enabled auto-merge October 6, 2025 21:07
@hamishknight hamishknight merged commit 9883477 into swiftlang:main Oct 7, 2025
3 checks passed
@hamishknight hamishknight deleted the meta-error branch October 7, 2025 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants