Suggestion about the description that "A type that conforms to the Sendable protocol is a thread-safe type"

[stzn]

A type that conforms to the Sendable protocol is a thread-safe type

When we talked about the above description, we thought that it's not correct since the type which conforms to Sendable is not always thread-safe.

For example, if a non-Sendable class which has a Sendable struct(e.g. Array<Int>) is accessed from multiple concurrent contexts at once and the class calls the struct's mutating func, data races could be caused.

We think that Swift just has a system to avoid data races rather than guaranteeing thread safety for types and it's better to change the description.

We are proposing an amendment. Please check it.
Thank you.

Discussion thread: https://forums.swift.org/t/a-type-that-conforms-to-sendable-type-is-a-thread-safe-type/72381