gistfile1.txt

fn not_ok(a: &uint) {
    let mut g: fn@(x: &uint) = fn@(x: &r.uint) {};
    g(a);
}

fn main() {
}

lkuper@lenny:~/rust/build$ x86_64-unknown-linux-gnu/stage0/bin/rustc --debug-rustc ../src/test/run-pass/regions-fn-subtyping-2.rs
../src/test/run-pass/regions-fn-subtyping-2.rs:4:33: 4:49 error: mismatched types: expected `fn@(&uint)` but found `fn@(&r.uint)` (references with lifetime & do not necessarily outlive references with lifetime &r)
../src/test/run-pass/regions-fn-subtyping-2.rs:4     let mut g: fn@(x: &uint) = fn@(x: &r.uint) {};