const_eval funkiness with overflow

[alexcrichton]

Case 1

fn main() {
    const N: u8 = !0;
    let _foo: [u8; 255] = [0; N as usize];
}

playpen

<anon>:3:27: 3:42 error: mismatched types:
 expected `[u8; 255]`,
    found `[u8; 18446744073709551615]`
(expected an array with a fixed size of 255 elements,
    found one with 18446744073709551615 elements) [E0308]
<anon>:3     let _foo: [u8; 255] = [0; N as usize];
                                   ^~~~~~~~~~~~~~~
error: aborting due to previous error

Case 2

fn main() {
    const N: u8 = 0 as u8 - 1 as u8;
    let _foo: [u8; 255] = [0; N as usize];
}

playpen

<anon>:3:31: 3:41 error: expected constant integer for repeat count, found non-constant expression [E0307]
<anon>:3     let _foo: [u8; 255] = [0; N as usize];
                                       ^~~~~~~~~~
<anon>:3:27: 3:42 error: mismatched types:
 expected `[u8; 255]`,
    found `[u8; 0]`
(expected an array with a fixed size of 255 elements,
    found one with 0 elements) [E0308]
<anon>:3     let _foo: [u8; 255] = [0; N as usize];
                                   ^~~~~~~~~~~~~~~
error: aborting due to 2 previous errors```

cc #13763

----

Update: revised test cases to run in playpen on modern rust, and updated error messages accordingly.

[huonw]

Triage: no change.

[oli-obk]

error message changed:

fn main() {                          
    const N: u8 = 0 - 1;            
    let _foo: [u8; 255] = [0; N as usize];
}

<anon>:3:27: 3:42 error: mismatched types:
 expected `[u8; 255]`,
    found `[u8; 18446744073709551615]`
(expected an array with a fixed size of 255 elements,
    found one with 18446744073709551615 elements) [E0308]
<anon>:3     let _foo: [u8; 255] = [0; N as usize];
                                   ^~~~~~~~~~~~~~~

[oli-obk]

Note: the error about the array types appears before an error about the array length:

fn main() {                          
    const N: u8 = 0;
    const M: u8 = 1;
    const O: u8 = N - M;
    const P: usize = O;
    let _foo: [u8; 255] = [0; P];
}

<anon>:6:27: 6:33 error: mismatched types:
 expected `[u8; 255]`,
    found `[u8; 18446744073709551615]`
(expected an array with a fixed size of 255 elements,
    found one with 18446744073709551615 elements) [E0308]
<anon>:6     let _foo: [u8; 255] = [0; P];
                                   ^~~~~~
<anon>:5:22: 5:23 error: mismatched types:
 expected `usize`,
    found `u8`
(expected usize,
    found u8) [E0308]
<anon>:5     const P: usize = O;
                              ^

[pnkfelix]

(Note that if I ever get #22532 to the point where its bootstrapping rustc, I imagine we'll be forced to resolve this in some fashion. :) )

[pnkfelix]

Hmm, apparently my previous assertion was wrong; I expected to see overflowing constant evaluation fail within rustc, but I have not seen that in my work on #22532. (Does LLVM do the constant evaluation on our behalf? Shows what I know...)

[pnkfelix]

(ah, maybe its because my test was using const-eval adding two u8's with overflow; its possible we use usize arithmetic instead.)

[pnkfelix]

(just making a note here that I updated description, so that triage script skips this bug for a while longer.)

[pnkfelix]

cc #23897

[nagisa]

Not an issue anymore. Should be closed.