// check-pass
struct Foo<T>(T);
impl<T> Foo<T> {
    const VALUE: usize = std::mem::size_of::<T>();
}

fn test<T>() {
    let _ = [0; Foo::<u8>::VALUE];
}

fn main() {}