Skip to content

TypeCheckType: Do not fail after emitting a warning #79934

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 12, 2025

Conversation

AnthonyLatsis
Copy link
Collaborator

Also remove the redundant diagnosis altogether. This case is already handled by the existential syntax checker just fine.

Resolves #79916

Also remove the redundant diagnosis altogether. This case is already
handled by the existential syntax checker just fine.
@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test

@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test Windows

@AnthonyLatsis AnthonyLatsis enabled auto-merge March 12, 2025 12:01
@AnthonyLatsis AnthonyLatsis disabled auto-merge March 12, 2025 15:51
@AnthonyLatsis AnthonyLatsis merged commit ae0936f into swiftlang:main Mar 12, 2025
3 checks passed
@AnthonyLatsis AnthonyLatsis deleted the no-карри branch March 12, 2025 18:36
AnthonyLatsis added a commit to AnthonyLatsis/swift that referenced this pull request Mar 18, 2025
…ifier`

Tests that verify diagnostics for valid code are best kept separate
from those that verify errors.
swiftlang#79934 is a great example of why
this is important.
This change adds an option to disallow error expectations that can be
used to prevent folks from inadvertently introducing error verifications
to tests that are supposed to compile successfully.
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.

Compiler crash "checked decl cannot have error type" starting with the development snapshot build swift-DEVELOPMENT-SNAPSHOT-2025-02-15-a
1 participant