Смотри, сейчас объясню unsafe))

У тебя есть вектор. Вектор как правило разного размера будет во время исполнения.

И ты тут берешь и обращаешься к vec[5] - программа сразу проверит что 5й элемент есть и его вернет а если 5го элемента нет - будет panic. Все просто..

Раст сделан так что тебе не нужно обычно обращатся к элементам вектора именно так.. vec[5] это немного странно.. обычно либо ты итерируешь без индекса либо используешь массив вместо вектора либо еще что..

Так вот, если ты на 100 процентов уверен что у тебя 5й элемент есть и хочешь к нему обратиться без проверки на его существование ты можешь это завернуть в unsafe. а внутри unsafe написать vec.get_unchecked(5)

Практическое применения - у тебя набор символов, и ты рандомно один из них выбираешь.. Генеришь число от нуля до len символов а потом с помошью unsafe выбираешь символ из своего набора. потому что ты знаешь что 100% там символ есть.

Почему заворачивать в unsafe - потому что vec.get_unchecked(5) если нет 5го элемента может вызвать UB вместо panic

Стоит добавить что нет надобности вообще писать unsafe. И если вы обратитесь к вектору так vec[5] то от этого никто не умрет и код медленнее не станет. Атвичаю