tests/ui/structs/default-field-values/use-normalized-ty-for-default-struct-value.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//@ check-pass

#![feature(default_field_values)]

struct Value<const VALUE: u8>;

impl<const VALUE: u8> Value<VALUE> {
    pub const VALUE: Self = Self;
}

pub struct WithUse {
    _use: Value<{ 0 + 0 }> = Value::VALUE
}

const _: WithUse = WithUse { .. };

fn main() {}