Skip to content

Require that .bug() identifiers be parseable as URLs. #347

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 12 commits into from
Apr 19, 2024

Conversation

grynspan
Copy link
Contributor

@grynspan grynspan commented Apr 12, 2024

This PR constrains the valid values of .bug() identifiers. They must now be valid URLs or, as a fallback, valid unsigned integers. Arbitrary strings were never intended to be supported.

Checklist:

  • Code and documentation should follow the style of the Style Guide.
  • If public symbols are renamed or modified, DocC references should be updated.

@grynspan grynspan added bug 🪲 Something isn't working public-api Affects public API labels Apr 12, 2024
@grynspan grynspan self-assigned this Apr 12, 2024
@grynspan
Copy link
Contributor Author

@swift-ci please test

3 similar comments
@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan
Copy link
Contributor Author

@swift-ci please test Linux

@grynspan
Copy link
Contributor Author

@swift-ci please test

1 similar comment
@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan
Copy link
Contributor Author

@compnerd Mind sanity-checking the Win32 code here? Thanks!

@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan grynspan requested a review from compnerd April 15, 2024 18:25
This PR constrains the valid values of `.bug()` identifiers. They must now be
valid URLs or, as a fallback, valid unsigned integers. Arbitrary strings were
never intended to be supported.
@grynspan grynspan force-pushed the jgrynspan/type-check-bug-identifiers branch from 6158b8c to b950b50 Compare April 17, 2024 19:19
@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan
Copy link
Contributor Author

@swift-ci please test

@grynspan grynspan merged commit 4c85b1a into main Apr 19, 2024
@grynspan grynspan deleted the jgrynspan/type-check-bug-identifiers branch April 19, 2024 19:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug 🪲 Something isn't working public-api Affects public API
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants