The exceeding_bitshifts error vs C-like enum discriminant value larger than u32::MAX

[nodakai]

There seem to be something special going on inside enum definition:

enum E {
  C = 1 << 63  // legal
}

fn main() {
  println!("{}", 1 << 63);  // A
  println!("{}", E::C as u64);  // B
}

I’m not complaining to anything, but it seems a bit odd to me that only the A line produces this error:

error: bitshift exceeds the type's number of bits, #[deny(exceeding_bitshifts)] on by default

• https://play.rust-lang.org/?gist=b5b75bbac6d060fd9074&version=nightly

In other words, there seems to be a minor inconsistency between C-like enums and RFC212:

rust-lang/rfcs/blob/master/text/0212-restore-int-fallback.md

Related discussion:

Issue: RFC: enum discriminant ought to be smaller

[nodakai]

I just learned

enum E { C = ... }

means pretty much the same thing as

const E_C: isize = ...;
enum E { C = E_C }

So in my example, an untyped int literal 1 in 1 << 63 is typed as isize, which nowadays commonly means i64.

https://doc.rust-lang.org/error-index.html#E0082

But all these things should be explained in the Rust reference…

Also, the choice of isize as the default type may be pragmatic but is debatable.

[system]

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.