Diagnostic around conforming to a protocol with a noncopyable type has no source location info #76573
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
triage needed
This issue needs more specific labels
Description
Some ownership-related diagnostics seem to be missing source location information. See e.g. the example below
Reproduction
Expected behavior
I would expect the associated diagnostic:
...to have location/line information, e.g. in this case probably the line conforming
UnsafePointer
to the protocol.Environment
swift-driver version: 1.115 Apple Swift version 6.0 (swiftlang-6.0.0.9.10 clang-1600.0.26.2)
Target: arm64-apple-macosx15.0
Additional information
I was a bit surprised that this broke in Swift 6, it looks like the issue is that
UnsafePointer
'sPointee
is~Copyable
and that the interaction between noncopyable types and protocols/generics isn't good enough to let us spell out this conformance anymore: https://github.com/swiftlang/swift-evolution/blob/main/proposals/0390-noncopyable-structs-and-enums.md#declaring-noncopyable-typesThe text was updated successfully, but these errors were encountered: