The spec explicitly says that only users with membership join or invite should be considered as possibly ambiguous.

But RoomMember::name_ambiguous for a member returned from matrix_sdk::room::Room::members_no_sync will return true if another user with the same name exists with membership leave.