@swift-5.6.3 class C {} @propertyWrapper struct S<T: C> { var wrappedValue: T? } protocol P {} struct Impl { @S var value: (C & P)? }