src/test/run-pass/bug-862.rs


1
2
3
4
5
6
7

pure fn p(j: int) -> bool { true }

fn f(i: int, j: int) : p(j) -> int { j }

fn g(i: int, j: int) : p(j) -> int { f(i, j) }

fn main() { let x = 1; check (p(x)); log g(x, x); }