I think this line gives the impression that the compiler will consider a type `NoShare` if it has interior mutability. Maybe something like: "Types that should opt-out from `Share` are those..." (This will have to change once opt-in kinds are done, though)