/* Page prose (de) */
"Swift6CompileTimeSafety" = "# Swift 6: der Compiler beweist, dass deine Nebenläufigkeit sicher ist\n\nTritt einen Schritt zurück und sieh dir die Maschine an, die du gebaut hast. `Sendable` sagt, *welche Werte eine Grenze überqueren können*. Actor-Isolation (`@MainActor`, deine eigenen globalen Actors, schlichte Actors) sagt, *zu welcher Domäne ein Stück Code gehört*. Zusammen lassen sie den Swift-6-Compiler jeden Grenzübertritt in deinem Programm nachverfolgen und beweisen, dass keine zwei Domänen je gleichzeitig denselben veränderlichen State anfassen. Wenn er es nicht beweisen kann, bekommst du einen **Kompilierfehler statt eines Data Race**.\n\nDas ist ein wahrhaft neues Angebot. Im klassischen Modell war ein Race etwas, das du *nachdem* es dich gebissen hatte diagnostiziert hast: sporadisch, schwer zu reproduzieren, unsichtbar in einem Code-Review. Mit dieser Maschinerie kann derselbe Fehler meist gar nicht bis zu `Run` gelangen. Die Annotationen, die du hier gelernt hast, sind keine Bürokratie; sie sind du, wie du dem Compiler genug Information gibst, um die Prüfung für dich zu erledigen.\n\nWenn du also auf einen Sendable- oder Isolationsfehler stößt, lies ihn nicht so, als sei der Compiler zickig. Lies ihn als: *\"Ich habe eine Stelle gefunden, an der zwei Codestücke kollidieren könnten: Sag mir, zu welcher Domäne das gehört.\"* Beantworte diese Frage, und der Fehler klärt sich auf. Die Fehler sind auf deiner Seite.\n\n[Zurück](@previous)  |  Seite 10 von 11  |  [Weiter: Zusammenfassung](@next)";
