Attempt to copy noncopyable type leads to error asking to submit a bug.

[nashysolutions]

Description

I encountered a compiler error when implementing a protocol I named File with a ~Copyable constraint. The error occurs in the following MockResource struct, which conforms to the File protocol and attempts to initialise with a noncopyable enclosing folder type.

Specifically, the compiler throws an error. “Copy of noncopyable typed value. This is a compiler bug. Please file a bug with a small example of the bug".

Reproduction

// Minimal reproduction

public protocol Directory {
    var location: URL { get }
}

struct MockFolder: Directory {
    let location: URL
}

public protocol File: ~Copyable {
    var name: String { get }
    var enclosingFolder: any Directory { get }
}

struct MockResource: File, ~Copyable {
    let name: String
    let enclosingFolder: any Directory

    init(name: String, enclosingFolder: any Directory) {
        self.name = name
        self.enclosingFolder = enclosingFolder
    }

    // This line produces the compiler error
    init(name: String, enclosingFolderLocation url: URL) {
        let folder = MockFolder(location: url)
        self.init(name: name, enclosingFolder: folder)
    }
}

Error message: Copy of noncopyable typed value. This is a compiler bug. Please file a bug with a small example of the bug.

Expected behavior

The compiler doesn't ask me to file a bug.

Environment

swift-driver version: 1.115.1 Apple Swift version 6.0.3 (swiftlang-6.0.3.1.10 clang-1600.0.30.1)
Target: arm64-apple-macosx15.0

Additional information

No response