aboutsummaryrefslogtreecommitdiff
path: root/src/test/run-pass/expr-block-generic-box1.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/run-pass/expr-block-generic-box1.rs')
-rw-r--r--src/test/run-pass/expr-block-generic-box1.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/run-pass/expr-block-generic-box1.rs b/src/test/run-pass/expr-block-generic-box1.rs
new file mode 100644
index 00000000..57487fd6
--- /dev/null
+++ b/src/test/run-pass/expr-block-generic-box1.rs
@@ -0,0 +1,23 @@
+// xfail-boot
+// -*- rust -*-
+
+type compare[T] = fn(@T t1, @T t2) -> bool;
+
+fn test_generic[T](@T expected, &compare[T] eq) {
+ let @T actual = { expected };
+ check (eq(expected, actual));
+}
+
+fn test_box() {
+ fn compare_box(@bool b1, @bool b2) -> bool {
+ log *b1;
+ log *b2;
+ ret *b1 == *b2;
+ }
+ auto eq = bind compare_box(_, _);
+ test_generic[bool](@true, eq);
+}
+
+fn main() {
+ test_box();
+} \ No newline at end of file