src/test/ui/lazy_normalization_consts/issue-73980.rs


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

// check-pass
#![feature(lazy_normalization_consts)]
#![allow(incomplete_features)]

pub struct X<P, Q>(P, Q);
pub struct L<T: ?Sized>(T);

impl<T: ?Sized> L<T> {
    const S: usize = 1;
}

impl<T> X<T, [u8; L::<T>::S]> {}

fn main() {}