fn main() { }

fn unconstrained_type() {
    []; //~ ERROR type annotations needed
}