"let f = @f;" causes iloop/irecurse

[jruderman]

fn main() {
    let f = @f;
    f();
}

Causes the compiler to iloop

fn main() {
    let f = @f;
}

Causes the compiler to output "Out of stack space, sorry"

Expected: "unresolved name: f" or "use before definition: f" or "cannot determine a type local variable: f".

[catamorphism]

This might be due to the lack of occurs check -- I'll look at it.

[msullivan]

I strongly suspect it is.

[catamorphism]

Confirmed that subst_vars (in ty.rs) is going into an infinite loop. I'll work on implementing the occurs check.