tests/ui/const-generics/generic_const_exprs/type_mismatch.rs


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

#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

trait Q {
    const ASSOC: usize;
}

impl<const N: u64> Q for [u8; N] {}
//~^ ERROR not all trait items implemented

pub fn q_user() -> [u8; <[u8; 13] as Q>::ASSOC] {}

pub fn main() {}