2 #![feature(generic_const_exprs, adt_const_params)]
3 #![allow(incomplete_features)]
4 // regression test for #77650
5 fn c<T, const N: std::num::NonZeroUsize>()
9 use std::convert::TryFrom;
10 <[T; N.get()]>::try_from(())
11 //~^ error: the trait bound
12 //~| error: the trait bound
13 //~| error: mismatched types