src/test/compile-fail/nested-ty-params.rs


1
2
3
4
5
6

// error-pattern:attempt to use a type argument out of scope
fn hd<U>(v: [U]/~) -> U {
    fn hd1(w: [U]) -> U { ret w[0]; }

    ret hd1(v);
}