The proposed ability to toggle “warnings as errors” in a specific file does not fit into this mold.
However, these examples do fit into a more general pragma-like feature (which is spelled #compilerSettings
in the linked pitch). One can imagine #compilerSettings(defaultDistributedActorSystem: "Something")
being a supported syntax that can be copy-pasted between a source file and a SwiftPM manifest.