summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-fn.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/consts/const-fn.rs42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-fn.rs b/src/test/ui/consts/const-fn.rs
new file mode 100644
index 000000000..59680e6e4
--- /dev/null
+++ b/src/test/ui/consts/const-fn.rs
@@ -0,0 +1,42 @@
+// run-pass
+#![allow(stable_features)]
+
+// A very basic test of const fn functionality.
+
+#![feature(const_indexing)]
+
+const fn add(x: u32, y: u32) -> u32 {
+ x + y
+}
+
+const fn sub(x: u32, y: u32) -> u32 {
+ x - y
+}
+
+const unsafe fn div(x: u32, y: u32) -> u32 {
+ x / y
+}
+
+const fn generic<T>(t: T) -> T {
+ t
+}
+
+const fn generic_arr<T: Copy>(t: [T; 1]) -> T {
+ t[0]
+}
+
+const SUM: u32 = add(44, 22);
+const DIFF: u32 = sub(44, 22);
+const DIV: u32 = unsafe{div(44, 22)};
+
+fn main() {
+ assert_eq!(SUM, 66);
+ assert!(SUM != 88);
+
+ assert_eq!(DIFF, 22);
+ assert_eq!(DIV, 2);
+
+ let _: [&'static str; sub(100, 99) as usize] = ["hi"];
+ let _: [&'static str; generic(1)] = ["hi"];
+ let _: [&'static str; generic_arr([1])] = ["hi"];
+}