[Tests] NFC: Add a test-case for main-actor isolated struct and nonisolated protocol

(cherry picked from commit 82497af)

Author: xedin

test/Concurrency/nonisolated_rules.swift

@@ -102,6 +102,10 @@ nonisolated struct S1: GloballyIsolated {
 nonisolated protocol Refined: GloballyIsolated {}
 nonisolated protocol WhyNot {}
 
+nonisolated protocol NonisolatedWithMembers {
+  func test()
+}
+
 struct A: Refined {
   var x: NonSendable
   init(x: NonSendable) {
@@ -171,6 +175,16 @@ struct NonisolatedStruct {
   }
 }
 
+@MainActor
+struct TestIsolated : NonisolatedWithMembers {
+  var x: NonSendable // expected-note {{property declared here}}
+
+  // requirement behaves as if it's explicitly `nonisolated` which gets inferred onto the witness
+  func test() {
+    _ = x // expected-error {{main actor-isolated property 'x' can not be referenced from a nonisolated context}}
+  }
+}
+
 // MARK: - Extensions
 
 nonisolated extension GloballyIsolated {