そうすると、↓のように解釈すればいいってことでしょうか。

@MainActor func foo() { // (A) MainActor bar { // (B) MainActor （ただし現状は守られていない） Task { // (C) MainActor } } }