src/test/ui/const-generics/const-expression-parameter.rs

   1 // revisions: full min
   2
   3 #![cfg_attr(full, feature(const_generics))]
   4 #![cfg_attr(full, allow(incomplete_features))]
   5 #![cfg_attr(min, feature(min_const_generics))]
   6
   7 fn i32_identity<const X: i32>() -> i32 {
   8     5
   9 }
  10
  11 fn foo_a() {
  12     i32_identity::<-1>(); // ok
  13 }
  14
  15 fn foo_b() {
  16     i32_identity::<1 + 2>(); //~ ERROR expressions must be enclosed in braces
  17 }
  18
  19 fn foo_c() {
  20     i32_identity::< -1 >(); // ok
  21 }
  22
  23 fn main() {
  24     i32_identity::<5>(); // ok
  25 }