// -*- rust -*-
fn main() {
let u8 x = u8(12);
let u8 y = u8(12);
x = x + u8(1);
x = x - u8(1);
check(x == y);
//x = u8(14);
//x = x + u8(1);
}
// -*- rust -*-
fn main() {
let u8 x = 12 as u8;
let u8 y = 12 as u8;
x = x + (1 as u8);
x = x - (1 as u8);
check(x == y);
//x = 14 as u8;
//x = x + 1 as u8;
}
// -*- rust -*-
fn main() {
let u8 x = 12u8;
let u8 y = 12u8;
x = x + (1u8);
x = x - (1u8);
check(x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let u8 x = 12u8;
let u8 y = 12u8;
x = x + (1u8);
x = x - (1u8);
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let u8 x = 12u8;
let u8 y = 12u8;
x = x + (1u8);
x = x - (1u8);
check(x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let u8 x = 12u8;
let u8 y = 12u8;
x = x + (1u8);
x = x - (1u8);
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let u8 x = 12u8;
let u8 y = 12u8;
x = x + 1u8;
x = x - 1u8;
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// -*- rust -*-
fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
// -*- rust -*-
fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
// -*- rust -*-
pub fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert (x == y);
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
// -*- rust -*-
pub fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
fail_unless!((x == y));
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
// -*- rust -*-
pub fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert!((x == y));
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
// -*- rust -*-
pub fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert_eq!(x, y);
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
pub fn main() {
let mut x: u8 = 12u8;
let y: u8 = 12u8;
x = x + 1u8;
x = x - 1u8;
assert_eq!(x, y);
// x = 14u8;
// x = x + 1u8;
}
// Copyright 2012 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.
pub fn main() {
let mut x: u8 = 12;
let y: u8 = 12;
x = x + 1;
x = x - 1;
assert_eq!(x, y);
// x = 14;
// x = x + 1;
}
// Copyright 2012 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.
// pretty-expanded FIXME #23616
pub fn main() {
let mut x: u8 = 12;
let y: u8 = 12;
x = x + 1;
x = x - 1;
assert_eq!(x, y);
// x = 14;
// x = x + 1;
}
// Copyright 2012 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.
pub fn main() {
let mut x: u8 = 12;
let y: u8 = 12;
x = x + 1;
x = x - 1;
assert_eq!(x, y);
// x = 14;
// x = x + 1;
}