Skip to content

NCGenerics: more test fixes (v2) #71395

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 4 commits into from
Feb 6, 2024

Conversation

kavon
Copy link
Member

@kavon kavon commented Feb 5, 2024

base branch is #71371

@kavon
Copy link
Member Author

kavon commented Feb 5, 2024

@swift-ci smoke test

@kavon kavon enabled auto-merge February 5, 2024 19:45
@slavapestov slavapestov disabled auto-merge February 5, 2024 20:14
@kavon kavon changed the title NCGenerics: omit inverses in stub diagnostic NCGenerics: more test fixes (v2) Feb 5, 2024
@kavon kavon force-pushed the ncgenerics-test-fixes-kavon-v2 branch from 465fa2a to 2901cca Compare February 5, 2024 20:22
@kavon kavon requested review from xedin and tshortli as code owners February 5, 2024 20:22
@kavon kavon force-pushed the ncgenerics-test-fixes-kavon-v2 branch from 49f5f1f to 4d8a8c9 Compare February 5, 2024 23:21
@kavon
Copy link
Member Author

kavon commented Feb 6, 2024

@swift-ci smoke test

@kavon kavon force-pushed the ncgenerics-test-fixes-kavon-v2 branch from 00d87f5 to dc7aef7 Compare February 6, 2024 01:35
@kavon
Copy link
Member Author

kavon commented Feb 6, 2024

@swift-ci smoke test

@kavon kavon requested review from a team and adrian-prantl as code owners February 6, 2024 06:46
@kavon
Copy link
Member Author

kavon commented Feb 6, 2024

@swift-ci smoke test

@kavon
Copy link
Member Author

kavon commented Feb 6, 2024

preset=ncgenerics,smoketest=macosx
@swift-ci Please test with preset macOS Platform

kavon added 4 commits February 6, 2024 08:15
We let TypeCheckAttr diagnose illega uses of the attribute. In addition,
we need to exclude protocols from inferring a marking, because when we
build the StructuralRequirements for a protocol, we ignore the
"marking" this we'll miss this legacy attribute.

fixes Sema/moveonly_decl_attr.swift
The interface files were still printing inverses on the invertible
protocols, when that's not required. Doing so yielded warnings during
the build because `~Escapable` isn't yet ready for appearing in the
stdlib.
An unbound generic type is not something that should end up in
`isNoncopyable` or `isEscapable` queries because there are no
conformances for such a type; it's unbound!

fixes test/Constraints/closures.swift
@kavon kavon force-pushed the ncgenerics-test-fixes-kavon-v2 branch from fc2f3af to ee12fd6 Compare February 6, 2024 16:29
@kavon
Copy link
Member Author

kavon commented Feb 6, 2024

@swift-ci smoke test

@kavon kavon enabled auto-merge February 6, 2024 16:30
@kavon kavon merged commit 906d261 into swiftlang:main Feb 6, 2024
@kavon kavon deleted the ncgenerics-test-fixes-kavon-v2 branch February 6, 2024 19:46
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