tests/ui/const-generics/unify_with_nested_expr.rs

   1 #![feature(generic_const_exprs)]
   2 #![allow(incomplete_features)]
   3
   4 fn foo<const N: usize>()
   5 where
   6     [(); N + 1 + 1]:,
   7 {
   8     bar();
   9     //~^ ERROR: type annotations
  10 }
  11
  12 fn bar<const N: usize>()
  13 where
  14     [(); N + 1]:,
  15 {
  16 }
  17
  18 fn main() {}