её не будет. Вместо неё будет, наверное, UB.
вполне defined, врап насколько помню, дебаг просто дает знать что мб это не то что вы подразумевали
Вроде как результат будет зависеть от архитектуры, поэтому формально всё же UB.
UB или implementation-defined?
нет, результат определён как wrap
Эм, а есть ещё и такое понятие? Не знал.
если поведение на архитектуре другое (а оно не другое, раста нет на настолько неадекватных архитектурах), то имплементация должна эмулировать врап в софте
Ни то, ни другое. wrapping
Ну вообще да, например mem::discriminant для не-енумов
Даа, смутно припоминаю, что кажется где-то читал уже про такое и тогда была мысль, что на "иных" архитектурах wrapping по сути эмулируется путём генерации соответствующего кода.
Обсуждают сегодня