summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/early/const-expression-parameter.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/early/const-expression-parameter.rs')
-rw-r--r--src/test/ui/const-generics/early/const-expression-parameter.rs19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/early/const-expression-parameter.rs b/src/test/ui/const-generics/early/const-expression-parameter.rs
new file mode 100644
index 000000000..4cf7ba869
--- /dev/null
+++ b/src/test/ui/const-generics/early/const-expression-parameter.rs
@@ -0,0 +1,19 @@
+fn i32_identity<const X: i32>() -> i32 {
+ 5
+}
+
+fn foo_a() {
+ i32_identity::<-1>(); // ok
+}
+
+fn foo_b() {
+ i32_identity::<1 + 2>(); //~ ERROR expressions must be enclosed in braces
+}
+
+fn foo_c() {
+ i32_identity::< -1 >(); // ok
+}
+
+fn main() {
+ i32_identity::<5>(); // ok
+}