add a Copyable catch-all for non-nominals

After filtering out aggregates when
determining if a type is Copyable, its safe
to say that a type is Copyable if its not
a nominal. The only types that are not
copyable at the moment are move-only
nominals and tuples containing such types.

Author: kavon

lib/AST/Module.cpp

@@ -1646,6 +1646,11 @@ LookupConformanceInModuleRequest::evaluate(
 
   auto nominal = type->getAnyNominal();
 
+  // If it's not a nominal, then it's safe to assume its copyable.
+  if (!nominal && protocol->isSpecificProtocol(KnownProtocolKind::Copyable)) {
+    return ProtocolConformanceRef(protocol);
+  }
+
   // If we don't have a nominal type, there are no conformances.
   if (!nominal || isa<ProtocolDecl>(nominal))
     return ProtocolConformanceRef::forMissingOrInvalid(type, protocol);

test/type/pack_expansion.swift

@@ -74,3 +74,9 @@ func invalidPackRef(_: each Int) {}
 
 // expected-error@+1 {{pack reference 'T' can only appear in pack expansion or generic requirement}}
 func packRefOutsideExpansion<each T>(_: each T) {}
+
+// coverage to ensure a 'repeat each' type is considered Copyable
+func golden<Z>(_ z: Z) {}
+func hour<each T>(_ t: repeat each T)  {
+  golden(t)
+}