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