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-8851] Constraint solver not progressing, timing out in salvage, and continuing indefinitely in code completion #51357

Closed
nathawes opened this issue Sep 25, 2018 · 3 comments
Closed

[SR-8851] Constraint solver not progressing, timing out in salvage, and continuing indefinitely in code completion #51357

nathawes opened this issue Sep 25, 2018 · 3 comments
Assignees
@nathawes
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. code completion Area → source tooling: code completion compiler The Swift compiler in itself source tooling Area: IDE support, SourceKit, and other source tooling type checker Area → compiler: Semantic analysis

Comments

@nathawes
Copy link
Collaborator

Previous ID SR-8851
Radar rdar://problem/44770297
Original Reporter @nathawes
Type Bug
Status Closed
Resolution Done
Additional Detail from JIRA
Votes 0
Component/s CodeCompletion, Compiler
Labels Bug, TypeChecker
Assignee @nathawes
Priority Medium

md5: de12a6c90be845a8c7c356472b554df0

Issue Description:

Compile the below to trigger it.

protocol P {
    associatedtype A
}
func foo<T: P>(_: () throws -> T) -> T.A? {
    fatalError()
}
let _ = foo() {fatalError()} & nil

This is also an issue invoking code completion just before the & nil on the last line. In that case it doesn't actually time out and continues indefinitely.
@nathawes
Copy link
Collaborator Author

@swift-ci create

@xedin
Copy link
Member

xedin commented Jan 15, 2019

Has been resolved by #19554 Nathan please verify and close.

@nathawes
Copy link
Collaborator Author

This now diagnoses successfully using the most recent snapshot.

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
@AnthonyLatsis AnthonyLatsis added the source tooling Area: IDE support, SourceKit, and other source tooling label Feb 6, 2023
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nathawes nathawes

Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. code completion Area → source tooling: code completion compiler The Swift compiler in itself source tooling Area: IDE support, SourceKit, and other source tooling type checker Area → compiler: Semantic analysis
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@xedin @AnthonyLatsis @nathawes