mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
233742a565
SE-427 says the conformance to Copyable must appear in the same source file as the nominal type. resolves rdar://131486561
21 lines
577 B
Swift
21 lines
577 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
|
|
//// Ensure we cannot add the conformance in a different source file.
|
|
|
|
// RUN: %target-swift-frontend \
|
|
// RUN: -typecheck -verify \
|
|
// RUN: %t/Visitor.swift %t/GardenKit.swift
|
|
|
|
//--- GardenKit.swift
|
|
|
|
public struct Garden<Plant: ~Copyable>: ~Copyable {
|
|
public let plant: Plant
|
|
public init(_ p: consuming Plant) { plant = p }
|
|
}
|
|
|
|
//--- Visitor.swift
|
|
|
|
// expected-error@+1 {{conformance to 'Copyable' must occur in the same source file as generic struct 'Garden'}}
|
|
extension Garden: Copyable where Plant: Copyable {}
|