// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
//

#![deny(type_overflow)]

fn test(x: i8) {
    println!("x {}", x);
}

#[allow(unused_variable)]
    let x1 = 256_u8; //~ error: literal out of range for its type

    let x2: i8 = -128; // should be OK
    let x1: i8 = 128; //~ error: literal out of range for its type
    let x2: i8 = --128; //~ error: literal out of range for its type

    let x3: i8 = -129; //~ error: literal out of range for its type
    let x3: i8 = -(129); //~ error: literal out of range for its type
    let x3: i8 = -{129}; //~ error: literal out of range for its type

    test(1000); //~ error: literal out of range for its type

    let x = 128_i8; //~ error: literal out of range for its type
    let x = 127_i8;
    let x = -128_i8;
    let x = -(128_i8);
    let x = -129_i8; //~ error: literal out of range for its type

    let x: i32 = 2147483647; // should be OK
    let x = 2147483647_i32; // should be OK
    let x: i32 = 2147483648; //~ error: literal out of range for its type
    let x = 2147483648_i32; //~ error: literal out of range for its type
    let x: i32 = -2147483648; // should be OK
    let x = -2147483648_i32; // should be OK
    let x: i32 = -2147483649; //~ error: literal out of range for its type
    let x = -2147483649_i32; //~ error: literal out of range for its type

    let x = -3.40282348e+38_f32; //~ error: literal out of range for its type
    let x =  3.40282348e+38_f32; //~ error: literal out of range for its type
    let x = -1.7976931348623159e+308_f64; //~ error: literal out of range for its type
    let x =  1.7976931348623159e+308_f64; //~ error: literal out of range for its type
}
fn main() {
    let x1: u8 = 255; // should be OK
    let x1: u8 = 256; //~ error: literal out of range for its type

    let x1 = 255_u8; // should be OK