src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-2.rs

   1 // revisions: rpass
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 struct Z;
   6 const fn one() -> usize {
   7     1
   8 }
   9
  10 fn from_a_to_b<T>(source: [u8; one()]) -> T {
  11     todo!()
  12 }
  13
  14 fn not_main() {
  15     let _: &Z = from_a_to_b([0; 1]);
  16 }
  17
  18 fn main() {}