about summary refs log tree commit diff
path: root/tests/ui/consts/const-block-item-macro-codegen.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/const-block-item-macro-codegen.rs')
-rw-r--r--tests/ui/consts/const-block-item-macro-codegen.rs40
1 files changed, 40 insertions, 0 deletions
diff --git a/tests/ui/consts/const-block-item-macro-codegen.rs b/tests/ui/consts/const-block-item-macro-codegen.rs
new file mode 100644
index 00000000000..7ad883686ae
--- /dev/null
+++ b/tests/ui/consts/const-block-item-macro-codegen.rs
@@ -0,0 +1,40 @@
+// run-pass
+#![allow(dead_code)]
+// General test that function items in static blocks
+// can be generated with a macro.
+
+
+struct MyType {
+    desc: &'static str,
+    data: usize,
+    code: fn(usize, usize) -> usize
+}
+
+impl MyType {
+    fn eval(&self, a: usize) -> usize {
+        (self.code)(self.data, a)
+    }
+}
+
+macro_rules! codegen {
+    ($e:expr, $v:expr) => {
+        {
+            fn generated(a: usize, b: usize) -> usize {
+                a - ($e * b)
+            }
+            MyType {
+                desc: "test",
+                data: $v,
+                code: generated
+            }
+        }
+    }
+}
+
+static GENERATED_CODE_1: MyType = codegen!(2, 100);
+static GENERATED_CODE_2: MyType = codegen!(5, 1000);
+
+pub fn main() {
+    assert_eq!(GENERATED_CODE_1.eval(10), 80);
+    assert_eq!(GENERATED_CODE_2.eval(100), 500);
+}