Merge pull request #72464 from jckarter/init-conditionally-copyable-empty-type

SILGen: Emit empty type initialization for conditionally-copyable type inits.

Author: jckarter

lib/SILGen/SILGenConstructor.cpp

@@ -754,7 +754,8 @@ void SILGenFunction::emitValueConstructor(ConstructorDecl *ctor) {
                                            {selfDecl->getTypeInContext()},
                                            LookUpConformanceInModule(module)),
                       selfLV.getLValueAddress());
-    } else if (isa<StructDecl>(nominal) && !nominal->canBeCopyable()
+    } else if (isa<StructDecl>(nominal)
+               && lowering.getLoweredType().isMoveOnly()
                && nominal->getStoredProperties().empty()) {
       auto *si = B.createStruct(ctor, lowering.getLoweredType(), {});
       B.emitStoreValueOperation(ctor, si, selfLV.getLValueAddress(),

test/SILGen/moveonly_empty_conditionally_copyable.swift

@@ -0,0 +1,5 @@
+// RUN: %target-swift-frontend -enable-experimental-feature NoncopyableGenerics -emit-sil -verify -primary-file %s
+
+struct G<T: ~Copyable>: ~Copyable { }
+
+extension G: Copyable {}