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
27
28
29
|
//@ build-pass
#![feature(default_field_values)]
struct W<const X: usize>;
impl<const X: usize> W<X> {
const fn new() -> Self { W }
}
struct Z<const X: usize> {
// No inference.
one: W<X> = W::<X>::new(),
// Inference works too.
two: W<X> = W::new(),
// An anon const that is too generic before substitution.
too_generic: usize = X + 1,
}
fn use_generically<const X: usize>() {
let x: Z<X> = Z { .. };
}
fn main() {
let x: Z<0> = Z { .. };
use_generically::<0>();
}
|
