Skip to content
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

Jump to bottom

[SR-12162] Typealias cannot declare function type that returns "some" #54587

Closed
swift-ci opened this issue Feb 8, 2020 · 2 comments
Closed

[SR-12162] Typealias cannot declare function type that returns "some" #54587

swift-ci opened this issue Feb 8, 2020 · 2 comments
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself type checker Area → compiler: Semantic analysis

Comments

@swift-ci
Copy link
Collaborator

swift-ci commented Feb 8, 2020

Previous ID SR-12162
Radar rdar://problem/59302423
Original Reporter xy (JIRA User)
Type Bug
Status Resolved
Resolution Won't Do

Attachment: Download

Environment

Playground on iPadOS 13.3

Additional Detail from JIRA
Votes 0
Component/s
Labels Bug, TypeChecker
Assignee xy (JIRA)
Priority Medium

md5: 4b6ae1c29a0ad5f770b7d863cffdaf7a

Issue Description:

❌ Bug: a typealias cannot alias a function type that returns "some", but it should be able to because "some" can be used in return types of functions. 👎

✔ Fix by making typealias able to alias function types with "some" return type. 👍

⚑ See attached screenshot. ❗
@beccadax
Copy link
Contributor

@swift-ci create

@jckarter
Copy link
Member

`some View` is a stand-in for a return type that comes from the function it's attached to. It wouldn't have any clear meaning in a typealias without a function definition attached. What would you expect this to do?

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
@AnthonyLatsis AnthonyLatsis added the compiler The Swift compiler in itself label Dec 13, 2022
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself type checker Area → compiler: Semantic analysis
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@jckarter @beccadax @swift-ci @AnthonyLatsis