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

[SR-15153] Confusing diagnostic pointing out witness and requirement as candidates #57479

Open
typesanitizer opened this issue Sep 3, 2021 · 1 comment
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself

Comments

@typesanitizer
Copy link

Previous ID SR-15153
Radar rdar://problem/82740964
Original Reporter @typesanitizer
Type Bug
Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels Bug
Assignee None
Priority Medium

md5: e9218a9fd8bb3e3fddea7dcb5ec9629e

Issue Description:

import SwiftUI

struct MyView: View {
  @State var array = [1, 2, 3]
 
  var body: some View {
    Button("Remove first") {
      withAnimation {
        array.remove(at: 0)
      }
    }
  }
}

$ xcrun swiftc tmp.swift
tmp.swift:9:9: error: ambiguous use of 'remove(at:)'
        array.remove(at: 0)
        ^
Swift.Array:10:37: note: found this candidate
    @inlinable public mutating func remove(at index: Int) -> Element
                                    ^
Swift.RangeReplaceableCollection:9:37: note: found this candidate
    @inlinable public mutating func remove(at position: Self.Index) -> Self.Element
                                    ^

It's not clear what this error means. It looks like the remove(at🙂 in Swift.Array is a witness for the requirement remove(at🙂 for RangeReplaceableCollection, so there shouldn't be any ambiguity.

The error goes away if you don't use withAnimation. Tested with recent main.

@typesanitizer
Copy link
Author

@swift-ci create

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself
Projects
None yet
Development

No branches or pull requests

1 participant