2 #![feature(adt_const_params, generic_const_exprs)]
3 #![allow(incomplete_features, unused_variables)]
5 struct F<const S: &'static str>;
6 impl<const S: &'static str> X for F<{ S }> {
9 fn d(r: &[u8; Self::W]) -> F<{ S }> {
10 let x: [u8; Self::W] = [0; Self::W];
17 fn d(r: &[u8; Self::W]) -> Self;