1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-bound.rs b/src/test/ui/consts/const-bound.rs
new file mode 100644
index 000000000..735056a0a
--- /dev/null
+++ b/src/test/ui/consts/const-bound.rs
@@ -0,0 +1,20 @@
+// run-pass
+#![allow(dead_code)]
+// Make sure const bounds work on things, and test that a few types
+// are const.
+
+// pretty-expanded FIXME #23616
+
+fn foo<T: Sync>(x: T) -> T { x }
+
+struct F { field: isize }
+
+pub fn main() {
+    /*foo(1);
+    foo("hi".to_string());
+    foo(vec![1, 2, 3]);
+    foo(F{field: 42});
+    foo((1, 2));
+    foo(@1);*/
+    foo(Box::new(1));
+}