src/test/run-pass/expr-if-generic-box2.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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_vec() {
  fn compare_vec(&vec[int] v1, &vec[int] v2) -> bool {
    ret v1 == v2;
  }
  auto eq = bind compare_vec(_, _);
  test_generic[vec[int]](vec(1, 2), vec(2, 3), eq);
}

fn main() {
  test_vec();
}