Что такое любая версия (*) ?

Note: crates.io does not allow bare * versions.

Забей, астериск для своей песочницы.

что можно в этом не понять?:
* := >=0.0.0
1.* := >=1.0.0, <2.0.0
1.2.* := >=1.2.0, <1.3.0

Самую новую, если иное не указано в Cargo.lock. Лучше просто забудь что астериск есть и всегда используй минимум первые 2 числа версии, даже в хеллоуворлдах.

Если есть 2.x.x, 3.x.x, 4.x.x, какая будет выбрана при * и почему?

ты же сам ответил: «Самую новую, если иное не указано в Cargo.lock.»

Да. Я к тому что по ссылке про это вроде бы ничего нет, и поэтому вопрос ТС-а оправдан.

я думаю что про «если иное не указано в Cargo.lock» написано где-то ещё в этом талмуде.

Наверно. Но это всё равно лишь мои наблюдения. Например: при первой сборке и отсутствии Cargo.lock какая-то версия всё равно будет выбрана. Обычно эта версия - самая новая, но может быть есть нюансы, при которых будет выбрана иная версия. И конкретно на странице по ссылке про это ничего не сказано.

всегда используй минимум первые 2 числа версии

И в чём же обязательность второго числа? Если мне подходит условная 2.0 версия, то (при соблюдении авторами библиотеки семантического версионирования) и 2.1 и 2.9 подойдут.

Было бы неплохо, если бы было какое-то обозначение для «последней стабильной версии», если автор крейта таковую выделил в манифесте (или что там cargo использует). Иначе, и поскольку библиотеки распространяются в основном через cargo, а не через репозиторий дистрибутива линукса, даже для элементарных вещей (которые в других ЯП часть стандартной библиотеки) типа разбора командной строки нужно лезть на сайт с крейтами, и смотреть, какая версия вообще существует, и молиться, чтобы она собралась со всеми зависимостями без ошибок.

Из личного опыта первая цифра обычно 0, а minor и patch играют роль major и minor.

Semantic vesioning же. Если первая цифра не ноль, то остальные не должны ломать апи. Если первая цифра ноль, то третья не должна ломать апи.

Если кто-то не соблюдает этот подход - он редиска и нехороший человек.

Из личного опыта первая цифра обычно 0, а minor и patch играют роль major и minor.

А… в этом смысле, ну тогда да. Из любопытства глянул на своём (небольшом) проекте: 575 из 920 зависимостей(включая непрямые) не достигли 1.0 версии. Не так уж и плохо, всё-таки достаточно многие библиотеки перешагнули 1.0 версию.