2015-05-05 07:47:04 -05:00
|
|
|
// Copyright 2015 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.
|
|
|
|
|
2018-08-30 07:18:55 -05:00
|
|
|
// run-pass
|
2015-05-05 07:47:04 -05:00
|
|
|
// A very basic test of const fn functionality.
|
|
|
|
|
2015-12-16 11:44:15 -06:00
|
|
|
#![feature(const_fn, const_indexing)]
|
2015-05-05 07:47:04 -05:00
|
|
|
|
|
|
|
const fn add(x: u32, y: u32) -> u32 {
|
|
|
|
x + y
|
|
|
|
}
|
|
|
|
|
|
|
|
const fn sub(x: u32, y: u32) -> u32 {
|
|
|
|
x - y
|
|
|
|
}
|
|
|
|
|
2016-01-14 08:03:48 -06:00
|
|
|
const unsafe fn div(x: u32, y: u32) -> u32 {
|
|
|
|
x / y
|
|
|
|
}
|
|
|
|
|
2015-12-16 11:44:15 -06:00
|
|
|
const fn generic<T>(t: T) -> T {
|
|
|
|
t
|
|
|
|
}
|
|
|
|
|
|
|
|
const fn generic_arr<T: Copy>(t: [T; 1]) -> T {
|
|
|
|
t[0]
|
|
|
|
}
|
|
|
|
|
2015-05-05 07:47:04 -05:00
|
|
|
const SUM: u32 = add(44, 22);
|
|
|
|
const DIFF: u32 = sub(44, 22);
|
2016-01-14 08:03:48 -06:00
|
|
|
const DIV: u32 = unsafe{div(44, 22)};
|
2015-05-05 07:47:04 -05:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
assert_eq!(SUM, 66);
|
|
|
|
assert!(SUM != 88);
|
|
|
|
|
|
|
|
assert_eq!(DIFF, 22);
|
2016-01-14 08:03:48 -06:00
|
|
|
assert_eq!(DIV, 2);
|
2015-05-05 07:47:04 -05:00
|
|
|
|
2015-11-27 09:43:24 -06:00
|
|
|
let _: [&'static str; sub(100, 99) as usize] = ["hi"];
|
2015-12-16 11:44:15 -06:00
|
|
|
let _: [&'static str; generic(1)] = ["hi"];
|
|
|
|
let _: [&'static str; generic_arr([1])] = ["hi"];
|
2015-05-05 07:47:04 -05:00
|
|
|
}
|