Merge pull request #1 from ktoso/patch-6

Fix some code snippets in NNNN-nonisolated-for-global-actor-cutoff.md

proposals/NNNN-nonisolated-for-global-actor-cutoff.md

@@ -51,7 +51,7 @@ In the above code, `S` can still conform to the globally-isolated protocol `P` w
 However, the above method would not work for cutting off the global isolation inference on a protocol itself. There is a very nonobvious workaround: when the compiler is inferring global actor isolation, if there are multiple inference sources with conflicting global actors, no global actor is inferred. This is demonstrated by the following example:
 
 ```swift
-class FakeExecutor: FakeGlobalActor {
+final class FakeExecutor: SerialExecutor {
   static let shared: FakeExecutor = .init()
 
   func enqueue(_ job: consuming ExecutorJob) {
@@ -65,15 +65,15 @@ public actor FakeGlobalActor: Sendable {
 
   private init() {}
   public nonisolated var unownedExecutor: UnownedSerialExecutor {
-    FakeGlobalActor.shared.asUnownedSerialExecutor()
+    FakeExecutor.shared.asUnownedSerialExecutor()
   }
 }
 
 @MainActor
 protocol GloballyIsolated {}
 
 @FakeGlobalActor
-protocol RemoveGlobalActor
+protocol RemoveGlobalActor {}
 
 protocol RefinedProtocol: GloballyIsolated, RemoveGlobalActor {} // 'RefinedProtocol' is non-isolated
 ```