[Pitch] Opt-in Strict Memory Safety Checking

Is @exclusivity(unchecked) considered an unsafe construct since it removes runtime checks, or is it the case that strict concurrency checking will properly diagnose all possible exclusivity violations at compile time? (And should the mode that diagnoses unsafe constructs therefore require the Swift 6 language mode?)