Address review comments

Author: aschwaighofer

lib/IRGen/GenEnum.cpp

@@ -6675,6 +6675,8 @@ namespace {
   public:
     using EnumTypeInfoBase<Base>::Strategy;
 
+    /// \group Methods delegated to the EnumImplStrategy
+
     unsigned getFixedExtraInhabitantCount(IRGenModule &IGM) const override {
       return Strategy.getFixedExtraInhabitantCount(IGM);
     }

lib/IRGen/GenType.cpp

@@ -3044,7 +3044,7 @@ bool irgen::tryEmitDestroyUsingDeinit(IRGenFunction &IGF, Address address,
 IsABIAccessible_t irgen::isTypeABIAccessibleIfFixedSize(IRGenModule &IGM,
                                                         CanType ty) {
 
-  // Copyable types currently are always fixed size.
+  // Copyable types currently are always ABI-accessible if they're fixed size.
   if (!ty->isNoncopyable())
     return IsABIAccessible;
 
@@ -3054,7 +3054,9 @@ IsABIAccessible_t irgen::isTypeABIAccessibleIfFixedSize(IRGenModule &IGM,
   if (!nom || !nom->getValueTypeDestructor())
     return IsABIAccessible;
 
-  if (IGM.getSILModule().isTypeMetadataAccessible(ty))
+  if (IGM.getSILModule().isTypeMetadataAccessible(ty) ||
+      IGM.getSILModule().lookUpMoveOnlyDeinit(nom,
+                                              false /*deserialize lazily*/))
     return IsABIAccessible;
 
   return IsNotABIAccessible;

lib/IRGen/TypeInfo.h

@@ -211,8 +211,8 @@ class TypeInfo {
   /// Almost all fixed-size types are currently ABI-accessible, although this would
   /// not be difficult to change (e.g. if we had an archetype size constraint
   /// that didn't say anything about triviality).
-  /// The exception to this is non-copyable types, non-copyable types need to be
-  /// able to call the metadata to get to the deinit and so their type metadata
+  /// The exception to this is non-copyable types, which need to be able to call
+  /// the metadata to get to the deinit and so their type metadata
   /// needs to be accessible.
   IsABIAccessible_t isABIAccessible() const {
     return IsABIAccessible_t(Bits.TypeInfo.ABIAccessible);