// -*- rust -*- mod foo { fn bar[T](T f) -> int { ret 17; } type bar[U, T] = tup(int, U, T); } fn main() {}