SIL: Add resilience expansion parameter to SILModule::isTypeABIAccessible()

Author: slavapestov

include/swift/SIL/SILModule.h

@@ -598,7 +598,10 @@ class SILModule {
 
   /// Can value operations (copies and destroys) on the given lowered type
   /// be performed in this module?
-  bool isTypeABIAccessible(SILType type);
+  // FIXME: Expansion
+  bool isTypeABIAccessible(SILType type,
+                           ResilienceExpansion forExpansion
+                             = ResilienceExpansion::Minimal);
 
   /// Can type metadata for the given formal type be fetched in
   /// the given module?

lib/SIL/SIL.cpp

@@ -185,9 +185,10 @@ static bool isTypeMetadataForLayoutAccessible(SILModule &M, SILType type) {
 /// that are ABI-private to their defining module.  But if the type is not
 /// ABI-private, we can always at least fetch its metadata and use the
 /// value witness table stored there.
-bool SILModule::isTypeABIAccessible(SILType type) {
+bool SILModule::isTypeABIAccessible(SILType type,
+                                    ResilienceExpansion forExpansion) {
   // Fixed-ABI types can have value operations done without metadata.
-  if (Types.getTypeLowering(type).isFixedABI())
+  if (Types.getTypeLowering(type, forExpansion).isFixedABI())
     return true;
 
   assert(!type.is<ReferenceStorageType>() &&