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.

Sign up for GitHub

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-11838] Cycle involving implicit initializers and witness resolution #54243

Open
swift-ci opened this issue Nov 22, 2019 · 3 comments
Open

[SR-11838] Cycle involving implicit initializers and witness resolution #54243

swift-ci opened this issue Nov 22, 2019 · 3 comments
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself crash Bug: A crash, i.e., an abnormal termination of software

Comments

@swift-ci
Copy link
Collaborator

Previous ID SR-11838
Radar rdar://problem/57444350
Original Reporter wowlocal (JIRA User)
Type Bug

Attachment: Download

Environment

MacOS 10.14.6 (18G103)

Xcode Version 11.2.1 (11B500)

Apple Swift version 5.1.2 (swiftlang-1100.0.278 clang-1100.0.33.9)
Target: x86_64-apple-darwin18.7.0

Swift version 5.1.1-dev (Swift 23edd22)
Target: x86_64-apple-darwin18.7.0

Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels Bug, CompilerCrash
Assignee None
Priority Medium

md5: 0fbd566fe16488390eae114993ff1787

relates to:

  • SR-13070 AST verification failure regarding @differentiable attribute: "checked decl cannot have error type"

Issue Description:

Code Sample in Attachments

Crash occurs both on Release and Debug default generated Xcode schemes

Swift Terminal Compile Command:

swift -frontend -c main.swift -sdk /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk
@theblixguy
Copy link
Collaborator

On near-master, I get:

checked decl cannot have error type
(accessor_decl implicit range=[/Users/suyashsrijan/Desktop/test.swift:13:6 - line:13:6] 'anonname=0x7fb9a036dea0' interface type='(BlahStruct) -> () -> <<error type>>' access=internal get_for=trail
  (parameter "self" type='BlahStruct' interface type='BlahStruct')
  (parameter_list)
  (brace_stmt implicit range=[/Users/suyashsrijan/Desktop/test.swift:13:6 - line:13:6]
    (return_stmt implicit
      (member_ref_expr implicit type='<<error type>>' decl=test.(file).BlahStruct.trail@/Users/suyashsrijan/Desktop/test.swift:13:6 direct_to_storage
        (declref_expr implicit type='BlahStruct' decl=test.(file).BlahStruct.<anonymous>.self@/Users/suyashsrijan/Desktop/test.swift:13:6 function_ref=unapplied)))))

@beccadax
Copy link
Contributor

@swift-ci create

@slavapestov
Copy link
Member

Looks like a cycle involving associated type inference versus implicit initializers.

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
@AnthonyLatsis AnthonyLatsis added the crash Bug: A crash, i.e., an abnormal termination of software label Dec 12, 2022
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 crash Bug: A crash, i.e., an abnormal termination of software
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@slavapestov @beccadax @theblixguy @swift-ci @AnthonyLatsis