Fix TypeLowering: BitwiseCopyable archetypes are trivial

Author: atrick

include/swift/SIL/SILTypeProperties.h

@@ -262,6 +262,7 @@ class SILTypeProperties {
     return MayHaveCustomDeinit_t((Flags & CustomDeinitFlag) != 0);
   }
 
+  void setTrivial() { Flags &= ~NonTrivialFlag; }
   void setNonTrivial() { Flags |= NonTrivialFlag; }
   void setIsOrContainsRawPointer() { Flags |= HasRawPointerFlag; }
 

lib/SIL/IR/TypeLowering.cpp

@@ -775,8 +775,14 @@ namespace {
               type, getReferenceSILTypeProperties(isSensitive));
         }
       }
-      return asImpl().handleAddressOnly(
-          type, getOpaqueSILTypeProperties(isSensitive));
+      auto props = getOpaqueSILTypeProperties(isSensitive);
+      if (ProtocolDecl *bitwiseCopyable =
+          TC.Context.getProtocol(KnownProtocolKind::BitwiseCopyable)) {
+        // Archetypes only have unconditional conformance.
+        if (lookupConformance(type, bitwiseCopyable))
+          props.setTrivial();
+      }
+      return asImpl().handleAddressOnly(type, props);
     }
 
     RetTy visitExistentialType(CanType type,