mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
30 lines
1.1 KiB
Swift
30 lines
1.1 KiB
Swift
// RUN: %target-swift-frontend -typecheck -verify %s
|
|
|
|
// https://github.com/apple/swift/issues/55086
|
|
// Crash regarding `Differentiable` derived conformances and redeclared
|
|
// properties
|
|
//
|
|
// This crash surfaced only briefly during the implementation of wrapped
|
|
// property differentiation (https://github.com/apple/swift/issues/55081).
|
|
|
|
import _Differentiation
|
|
|
|
@propertyWrapper
|
|
struct Wrapper<Value> {
|
|
var wrappedValue: Value
|
|
}
|
|
|
|
struct Generic<T> {}
|
|
extension Generic: Differentiable where T: Differentiable {}
|
|
|
|
struct WrappedProperties: Differentiable {
|
|
@Wrapper var int: Generic<Int>
|
|
// expected-note@-1 {{'int' previously declared here}}
|
|
// expected-note@-2 {{'_int' synthesized for property wrapper backing storage}}
|
|
// expected-warning@-3 {{stored property 'int' has no derivative because 'Generic<Int>' does not conform to 'Differentiable'; add an explicit '@noDerivative' attribute}}
|
|
|
|
@Wrapper var int: Generic<Int>
|
|
// expected-error@-1 {{invalid redeclaration of 'int'}}
|
|
// expected-error@-2 {{invalid redeclaration of synthesized property '_int'}}
|
|
}
|