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-12951] Value type 'User' cannot have a stored property that recursively contains it #55397

Closed
swift-ci opened this issue Jun 7, 2020 · 3 comments
Closed

[SR-12951] Value type 'User' cannot have a stored property that recursively contains it #55397

swift-ci opened this issue Jun 7, 2020 · 3 comments
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior.

Comments

@swift-ci
Copy link
Collaborator

swift-ci commented Jun 7, 2020

Previous ID SR-12951
Radar None
Original Reporter stuartbreckenridge (JIRA User)
Type Bug
Status Closed
Resolution Invalid
Additional Detail from JIRA
Votes 0
Component/s
Labels Bug
Assignee None
Priority Medium

md5: 0e360b55a2ce950e1fa481c0cdae70bf

Issue Description:

In the below example, Xcode throws an error stating that Value type 'User' cannot have a stored property that recursively contains it

struct User {
    var friend: User?
}

However, given that friend is optional, there is no recursion issue with this code, i.e.

let x = User(friend: nil)
@BenchR267
Copy link
Member

In the discussion on Twitter Paul came up with a custom optional type where the compiler recognizes the recursion cycle break: [https://twitter.com/twostraws/status/1269632123591327749?s=21| https://twitter.com/twostraws/status/1269632123591327749?s=21]. It seems that the problem here is that Optional is not declared as indirect.

@twostraws
Copy link
Contributor

@BenchR267 This behavior is by design. See here: https://forums.swift.org/t/who-benefits-from-the-indirect-keyword/20167/7

@swift-ci
Copy link
Collaborator Author

swift-ci commented Jun 7, 2020

Comment by Stuart Breckenridge (JIRA)

This is working as designed.

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 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.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@twostraws @BenchR267 @swift-ci