blob: 4e5cde17f39a963a9ccd7b68f5d6b6059174ab5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// revisions: full min
#![cfg_attr(full, feature(const_generics))] //[full]~WARN the feature `const_generics` is incomplete
#![cfg_attr(min, feature(min_const_generics))]
struct Const<const N: usize>;
impl<const C: usize> Const<{C}> {
fn successor() -> Const<{C + 1}> {
//[full]~^ ERROR constant expression depends on a generic parameter
//[min]~^^ ERROR generic parameters must not be used
Const
}
}
fn main() {
let _x: Const::<2> = Const::<1>::successor();
}
|
