Sema: Remove TypeResolutionOptions::isParameterizedProtocolSupported()

It is the same as !isConstraintImplicitExistential()

Author: slavapestov

lib/Sema/TypeCheckType.cpp

@@ -692,7 +692,7 @@ static Type applyGenericArguments(Type type, TypeResolution resolution,
     // Build ParameterizedProtocolType if the protocol has a primary associated
     // type and we're in a supported context (for now just generic requirements,
     // inheritance clause, extension binding).
-    if (!resolution.getOptions().isParameterizedProtocolSupported()) {
+    if (resolution.getOptions().isConstraintImplicitExistential()) {
       diags.diagnose(loc, diag::existential_requires_any,
                      protoDecl->getDeclaredInterfaceType(),
                      protoDecl->getExistentialType(),
@@ -4202,7 +4202,7 @@ TypeResolver::resolveCompositionType(CompositionTypeRepr *repr,
       }
 
       if (ty->is<ParameterizedProtocolType>() &&
-          options.isParameterizedProtocolSupported() &&
+          !options.isConstraintImplicitExistential() &&
           options.getContext() != TypeResolverContext::ExistentialConstraint) {
         HasProtocol = true;
         Members.push_back(ty);

lib/Sema/TypeCheckType.h

@@ -300,43 +300,6 @@ class TypeResolutionOptions {
     }
   }
 
-  /// Whether parameterized protocol types are supported in this context.
-  bool isParameterizedProtocolSupported() const {
-    switch (context) {
-    case Context::Inherited:
-    case Context::ExtensionBinding:
-    case Context::TypeAliasDecl:
-    case Context::GenericTypeAliasDecl:
-    case Context::GenericRequirement:
-    case Context::ExistentialConstraint:
-    case Context::MetatypeBase:
-      return true;
-    case Context::None:
-    case Context::GenericArgument:
-    case Context::ProtocolGenericArgument:
-    case Context::TupleElement:
-    case Context::InExpression:
-    case Context::ExplicitCastExpr:
-    case Context::ForEachStmt:
-    case Context::PatternBindingDecl:
-    case Context::EditorPlaceholderExpr:
-    case Context::ClosureExpr:
-    case Context::FunctionInput:
-    case Context::VariadicFunctionInput:
-    case Context::InoutFunctionInput:
-    case Context::FunctionResult:
-    case Context::SubscriptDecl:
-    case Context::EnumElementDecl:
-    case Context::EnumPatternPayload:
-    case Context::SameTypeRequirement:
-    case Context::ProtocolMetatypeBase:
-    case Context::ImmediateOptionalTypeArgument:
-    case Context::AbstractFunctionDecl:
-    case Context::CustomAttr:
-      return false;
-    }
-  }
-
   /// Whether pack expansion types are supported in this context.
   bool isPackExpansionSupported() const {
     switch (context) {