tests/ui/structs/default-field-values/field-references-param.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
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>();
}