Skip to content

AST: Add more asserts for same-type constraints in generic signatures #32666

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

Conversation

slavapestov
Copy link
Contributor

No description provided.

@slavapestov slavapestov requested a review from DougGregor July 1, 2020 21:15
@slavapestov
Copy link
Contributor Author

@swift-ci Please test source compatibility

@slavapestov
Copy link
Contributor Author

This caught a bug where we build an invalid minimized signature for the following:

public struct G<Word> where Word : FixedWidthInteger, Word.Magnitude == Word {}

@slavapestov
Copy link
Contributor Author

@swift-ci Please test source compatibility Debug

@slavapestov
Copy link
Contributor Author

That's funny, SRP in the source compat suite includes a copy of test/Prototypes/BigInt.swift, so it hits the same exact error.

@slavapestov slavapestov force-pushed the same-type-requirement-assert branch from 41c28fb to 844ab50 Compare July 2, 2020 03:04
@slavapestov
Copy link
Contributor Author

@swift-ci Please smoke test

@slavapestov slavapestov merged commit a091d4f into swiftlang:master Jul 2, 2020
@compnerd
Copy link
Member

compnerd commented Jul 2, 2020

This seems to have caused a regression on the Windows builder. This was caught by the precommit testing and the CI builds as well: https://ci-external.swift.org/job/oss-swift-windows-x86_64-vs2019/1918/

Could you please take a look at this @slavapestov? (seems that the test is passing on Windows?)

compnerd added a commit to compnerd/apple-swift that referenced this pull request Jul 2, 2020
compnerd added a commit that referenced this pull request Jul 3, 2020
test: repair the Windows builders after #32666
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