Skip to content

Space Engine: uninhabited types map to empty spaces #17680

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

jrose-apple
Copy link
Contributor

Without this, the compiler ended up complaining about missing cases that can't actually occur, like Optional<Never>.some(_). This was a regression from Swift 4.1.

SR-8125 / rdar://problem/41525746

Without this, the compiler ended up complaining about missing cases
that can't actually occur, like `Optional<Never>.some(_)`. This was a
regression from Swift 4.1.

https://bugs.swift.org/browse/SR-8125
@jrose-apple jrose-apple requested review from xedin and CodaFi July 2, 2018 21:22
@jrose-apple
Copy link
Contributor Author

@swift-ci Please test

@jrose-apple
Copy link
Contributor Author

@swift-ci Please test source compatibility

Copy link
Contributor

@CodaFi CodaFi left a comment

Choose a reason for hiding this comment

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

Neat. Good catch!

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.

Thank you!

@jrose-apple jrose-apple merged commit e783027 into swiftlang:master Jul 3, 2018
@jrose-apple jrose-apple deleted the empty-spaces-abandoned-places branch July 3, 2018 01:27
jrose-apple added a commit to jrose-apple/swift that referenced this pull request Jul 3, 2018
Without this, the compiler ended up complaining about missing cases
that can't actually occur, like `Optional<Never>.some(_)`. This was a
regression from Swift 4.1.

https://bugs.swift.org/browse/SR-8125
(cherry picked from commit e783027)
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.

3 participants