そうすると、↓のように解釈すればいいってことでしょうか。
@MainActor func foo() { // (A) MainActor bar { // (B) MainActor （ただし現状は守られていない） Task { // (C) MainActor } } } barはbarを宣言したコンテキストのActorになります