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

Author: xedin

test/Concurrency/nonisolated_rules.swift

@@ -100,6 +100,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) {
@@ -169,6 +173,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 {