bounds check failure in trans

[eholk]

The following code causes a bounds check failure in trans. I'm not sure what it should do instead.

fn foo[T] (&T x) {
    fn bar(fn (&T) -> T f) { };
}

[catamorphism]

Per IRC discussion, typeck should reject it, because bar is using the type variable T out of scope.