Eliminate the unused ConformanceKind::UncheckedConforms. NFC

Author: DougGregor

include/swift/AST/Module.h

@@ -154,9 +154,6 @@ enum class ConformanceKind {
   DoesNotConform,
   /// The type conforms to the protocol, with the given conformance.
   Conforms,
-  /// The type is specified to conform to the protocol, but that conformance
-  /// has not yet been checked.
-  UncheckedConforms
 };
 
 /// The result of looking for a specific conformance.

lib/AST/ASTContext.cpp

@@ -3611,10 +3611,6 @@ ASTContext::getBridgedToObjC(const DeclContext *dc, Type type,
     // The type conforms, and we know the conformance, so we can look up the
     // bridged type below.
     break;
-  case ConformanceKind::UncheckedConforms:
-    // The type conforms, but we don't have a conformance yet. Return
-    // Optional(nullptr) to signal this.
-    return Type();
   case ConformanceKind::DoesNotConform:
     // If we haven't imported Foundation but this is a whitelisted type,
     // behave as above.

lib/AST/ArchetypeBuilder.cpp

@@ -292,7 +292,6 @@ static ProtocolConformance *getSuperConformance(
   }
 
   case ConformanceKind::DoesNotConform:
-  case ConformanceKind::UncheckedConforms:
     return nullptr;
   }
 }

lib/AST/Module.cpp

@@ -752,7 +752,6 @@ ArrayRef<Substitution> BoundGenericType::getSubstitutions(
           conformances.push_back(
                          ProtocolConformanceRef(proto, conforms.getPointer()));
           break;
-        case ConformanceKind::UncheckedConforms:
         case ConformanceKind::DoesNotConform:
           conformances.push_back(ProtocolConformanceRef(proto));
           break;
@@ -851,8 +850,6 @@ LookupConformanceResult Module::lookupConformance(Type type,
       switch (inheritedConformance.getInt()) {
       case ConformanceKind::DoesNotConform:
         return { nullptr, ConformanceKind::DoesNotConform };
-      case ConformanceKind::UncheckedConforms:
-        return inheritedConformance;
       case ConformanceKind::Conforms:
         auto result =
           ctx.getInheritedConformance(type, inheritedConformance.getPointer());
@@ -912,9 +909,6 @@ LookupConformanceResult Module::lookupConformance(Type type,
     case ConformanceKind::DoesNotConform:
       llvm_unreachable("We already found the inherited conformance");
 
-    case ConformanceKind::UncheckedConforms:
-      return inheritedConformance;
-
     case ConformanceKind::Conforms:
       // Create inherited conformance below.
       break;

lib/AST/Type.cpp

@@ -2409,7 +2409,6 @@ static Type getMemberForBaseType(Module *module,
     auto conformance = module->lookupConformance(substBase, proto, resolver);
     switch (conformance.getInt()) {
     case ConformanceKind::DoesNotConform:
-    case ConformanceKind::UncheckedConforms:
       return Type();
 
     case ConformanceKind::Conforms:

lib/SILGen/SILGen.cpp

@@ -276,7 +276,6 @@ SILGenModule::getConformanceToObjectiveCBridgeable(SILLocation loc, Type type) {
     return result.getPointer();
 
   case ConformanceKind::DoesNotConform:
-  case ConformanceKind::UncheckedConforms:
     return nullptr;
   }
 }

lib/Sema/TypeCheckProtocol.cpp

@@ -4063,9 +4063,6 @@ bool TypeChecker::conformsToProtocol(Type T, ProtocolDecl *Proto,
     else
       recordDependency();
     return false;
-
-  case ConformanceKind::UncheckedConforms:
-    llvm_unreachable("Can't get here!");
   }
 }