src/test/ui/type-inference/unbounded-type-param-in-fn-with-assoc-type.rs


1
2
3
4
5
6
7
8
9

#[allow(invalid_type_param_default)]

fn foo<T, U = u64>() -> (T, U) {
    panic!()
}

fn main() {
    foo(); //~ ERROR type annotations needed
}