Tracking Issue for more const int functions

[TimDiekmann]

(none exhaustive) list of libcore::num, which should be a const fn:

• feature = const_int_rotate
  • rotate_left Add more const int ops #53697 -- stabilized
  • rotate_right Add more const int ops #53697 -- stabilized
• feature = const_checked_int_methods
  • checked_add [1] Make more arithmetic functions unstably const #68809
  • checked_sub [1] Make more arithmetic functions unstably const #68809
  • checked_mul [1] Make more arithmetic functions unstably const #68809
  • checked_div [1] Make more arithmetic functions unstably const #68809
  • checked_rem [1] Make more arithmetic functions unstably const #68809
  • checked_neg [1] Make more arithmetic functions unstably const #68809
  • checked_shl [1] Make more arithmetic functions unstably const #68809
  • checked_shr [1] Make more arithmetic functions unstably const #68809
  • checked_abs [1] Make more arithmetic functions unstably const #68809
• feature = const_saturating_int_methods
  • saturating_add Make saturating_add and saturating_sub const functions #58246
  • saturating_sub Make saturating_add and saturating_sub const functions #58246
  • saturating_mul [1] Make more arithmetic functions unstably const #68809
• feature = const_int_wrapping
  • wrapping_add Add more const int ops #53697 -- stabilized
  • wrapping_sub Add more const int ops #53697 -- stabilized
  • wrapping_mul Add more const int ops #53697 -- stabilized
  • wrapping_div [1] Make more arithmetic functions unstably const #68809
  • wrapping_rem [1] Make more arithmetic functions unstably const #68809
  • wrapping_neg Make overflowing and wrapping negation const #58044 -- stabilized
  • wrapping_shl Add more const int ops #53697 -- stabilized
  • wrapping_shr Add more const int ops #53697 -- stabilized
  • wrapping_abs Make abs, wrapping_abs, overflowing_abs const functions #63786 -- stabilized in 1.39
• feature = const_int_overflowing
  • overflowing_add Add more const int ops #53697
  • overflowing_sub Add more const int ops #53697
  • overflowing_mul Add more const int ops #53697
  • overflowing_div [1] Make more arithmetic functions unstably const #68809
  • overflowing_rem [1] Make more arithmetic functions unstably const #68809
  • overflowing_neg Make overflowing and wrapping negation const #58044 -- stabilized
  • overflowing_shl Add more const int ops #53697
  • overflowing_shr Add more const int ops #53697
  • overflowing_abs Make abs, wrapping_abs, overflowing_abs const functions #63786 -- stabilized in 1.39
• feature = const_euclidean_int_methods
  • checked_div_euc [1] Make more arithmetic functions unstably const #68809
  • checked_mod_euc [1] Make more arithmetic functions unstably const #68809
  • wrapping_div_euc [1] Make more arithmetic functions unstably const #68809
  • wrapping_mod_euc [1] Make more arithmetic functions unstably const #68809
  • overflowing_div_euc [1] Make more arithmetic functions unstably const #68809
  • overflowing_mod_euc [1] Make more arithmetic functions unstably const #68809
• feature = const_int_pow
  • pow[1, 2] Make integer exponentiation methods unstably const #68978
  • is_power_of_two make is_power_of_two a const function #65092
  • next_power_of_two [1] Make integer exponentiation methods unstably const #68978
  • checked_pow [1] Make integer exponentiation methods unstably const #68978
  • checked_next_power_of_two [1] Make integer exponentiation methods unstably const #68978
  • saturating_pow [1, 2] Make integer exponentiation methods unstably const #68978
  • wrapping_pow [1, 2] Make integer exponentiation methods unstably const #68978
  • wrapping_next_power_of_two [1] Make integer exponentiation methods unstably const #68978
  • overflowing_pow [1, 2] Make integer exponentiation methods unstably const #68978
• feature = const_int_sign
  • abs Make abs, wrapping_abs, overflowing_abs const functions #63786 -- stabilized in 1.39
  • signum Make i*::signum a const fn. #61635
  • is_positive Add more const int ops #53697 -- stabilized
  • is_negative Add more const int ops #53697 -- stabilized
• feature = const_int_conversion
  • to_be_bytes Add more const int ops #53697
  • to_le_bytes Add more const int ops #53697
  • to_ne_bytes Add more const int ops #53697
  • from_be_bytes Add more const int ops #53697
  • from_le_bytes Add more const int ops #53697
  • from_ne_bytes Add more const int ops #53697
  • reverse_bits Add more const int ops #53697
• feature = const_nonzero_int_methods
  • NonZero*::new [1] Make num::NonZeroX::new an unstable const fn #68976

1. Requires conditionals. Tracking Issue: Tracking issue for RFC 2342, "Allow if and match in constants" #49146 (implemented on nightly)
2. Requires loops. Tracking Issue: Tracking issue for RFC 2344, "Allow loop in constant evaluation" #52000 (implemented on nightly)

This issue has been assigned to @9999years via this comment.

[TheDarkula]

transmute() just got merged. You can start on your last block now :)

[TimDiekmann]

@TheDarkula Thank you, I'll start implementing them as soon as #53699 is merged.

[TimDiekmann]

Added rest of const_int_conversion to #53697

[TimDiekmann]

I'm currently rebasing #53697 and testing. Then the first bunch should be ready to merge.

[mjbshaw]

Adding a comment here so I don't have to hunt for the following related issue: #51267 is the tracking issue for feature = const_int_ops, which tracks:

• count_zeros -- stabilized
• count_ones -- stabilized
• leading_zeros -- stabilized
• trailing_zeros -- stabilized

[Lokathor]

wrapping_neg isn't on the list here it seems (though overflowing_neg is)