src/test/incremental/const-generics/hash-tyvid-regression-1.rs

   1 // revisions: cfail
   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>()
   6 where
   7     [T; N.get()]: Sized,
   8 {
   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
  14 }
  15
  16 fn main() {}