Как-то я в растовом обсуждении:

- Было бы круто иметь функцию, что бы выбирать бранч в зависимости от того, известно ли значение компилятору заранее.
Что бы что-то делать быстрее или точнее в таких случаях.
- Это ужасная идея

Несолько версий раста спустя:
https://doc.rust-lang.org/stable/core/intrinsics/fn.is_val_statically_known.html