// error-pattern: duplicate value name: x

fn main() {
    auto x = 10;
    let int x = 20;
}