Isolated keyword should not be permitted in inheritance clause

Author: AlexsanderDamaceno

lib/Sema/TypeCheckType.cpp

@@ -5391,10 +5391,10 @@ TypeResolver::resolveOwnershipTypeRepr(OwnershipTypeRepr *repr,
 NeverNullType
 TypeResolver::resolveIsolatedTypeRepr(IsolatedTypeRepr *repr,
                                       TypeResolutionOptions options) {
-  // isolated is only value for non-EnumCaseDecl parameters.
+  // isolated is only valid for non-EnumCaseDecl parameters.
   if ((!options.is(TypeResolverContext::FunctionInput) ||
-       options.hasBase(TypeResolverContext::EnumElementDecl)) &&
-      !options.is(TypeResolverContext::Inherited)) {
+       (options.hasBase(TypeResolverContext::EnumElementDecl) &&
+      !options.is(TypeResolverContext::Inherited)) || options.is(TypeResolverContext::Inherited))) {
     diagnoseInvalid(
         repr, repr->getSpecifierLoc(), diag::attr_only_on_parameters,
         "isolated");

test/Concurrency/isolated_parameters.swift

@@ -343,3 +343,8 @@ struct WritableActorKeyPath<Root: Actor, Value>: Sendable {
         nonmutating set { setter(root, newValue) }
     }
 }
+
+protocol P {}
+struct S: isolated P {} // expected-error {{'isolated' may only be used on parameters}}
+
+