rust/tests/ui/const-generics/generic_const_exprs/dependence_lint.rs

27 lines
991 B
Rust

//@ 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() {}