src/test/ui/const-generics/generic_const_exprs/dependence_lint.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

// revisions: full gce
// compile-flags: -Zdeduplicate-diagnostics=yes

#![cfg_attr(gce, feature(generic_const_exprs))]
#![allow(incomplete_features)]

use std::mem::size_of;

fn foo<T>() {
    [0; size_of::<*mut T>()]; // lint on stable, error with `generic_const_exprs`
    //[gce]~^ ERROR unconstrained
    //[full]~^^ WARNING cannot use constants
    //[full]~| WARNING this was previously accepted
    let _: [u8; size_of::<*mut T>()]; // error on stable, error with gce
    //[full]~^ ERROR generic parameters may not be used
    //[gce]~^^ ERROR unconstrained generic
    [0; if false { size_of::<T>() } else { 3 }]; // lint on stable, error with gce
    //[gce]~^ ERROR overly complex
    //[full]~^^ WARNING cannot use constants
    //[full]~| WARNING this was previously accepted
    let _: [u8; if true { size_of::<T>() } else { 3 }]; // error on stable, error with gce
    //[full]~^ ERROR generic parameters may not be used
    //[gce]~^^ ERROR overly complex
}

fn main() {}