2019-01-13 11:09:30 +00:00
|
|
|
// run-rustfix
|
|
|
|
#![warn(clippy::excessive_precision)]
|
|
|
|
#![allow(dead_code, unused_variables, clippy::print_literal)]
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
// Consts
|
|
|
|
const GOOD32: f32 = 0.123_456;
|
|
|
|
const GOOD32_SM: f32 = 0.000_000_000_1;
|
|
|
|
const GOOD32_DOT: f32 = 10_000_000_000.0;
|
|
|
|
const GOOD32_EDGE: f32 = 1.000_000_8;
|
|
|
|
const GOOD64: f64 = 0.123_456_789_012;
|
|
|
|
const GOOD64_SM: f32 = 0.000_000_000_000_000_1;
|
|
|
|
const GOOD64_DOT: f32 = 10_000_000_000_000_000.0;
|
|
|
|
|
2020-02-17 07:55:16 +00:00
|
|
|
const BAD32_1: f32 = 0.123_456_79_f32;
|
2019-01-13 11:09:30 +00:00
|
|
|
const BAD32_2: f32 = 0.123_456_79;
|
|
|
|
const BAD32_3: f32 = 0.1;
|
|
|
|
const BAD32_EDGE: f32 = 1.000_001;
|
|
|
|
|
2020-02-17 07:55:16 +00:00
|
|
|
const BAD64_1: f64 = 0.123_456_789_012_345_66_f64;
|
2019-01-13 11:09:30 +00:00
|
|
|
const BAD64_2: f64 = 0.123_456_789_012_345_66;
|
|
|
|
const BAD64_3: f64 = 0.1;
|
|
|
|
|
|
|
|
// Literal as param
|
|
|
|
println!("{:?}", 8.888_888_888_888_89);
|
|
|
|
|
|
|
|
// // TODO add inferred type tests for f32
|
|
|
|
// Locals
|
|
|
|
let good32: f32 = 0.123_456_f32;
|
|
|
|
let good32_2: f32 = 0.123_456;
|
|
|
|
|
|
|
|
let good64: f64 = 0.123_456_789_012;
|
|
|
|
let good64_suf: f64 = 0.123_456_789_012f64;
|
|
|
|
let good64_inf = 0.123_456_789_012;
|
|
|
|
|
|
|
|
let bad32: f32 = 1.123_456_8;
|
2020-02-17 07:55:16 +00:00
|
|
|
let bad32_suf: f32 = 1.123_456_8_f32;
|
|
|
|
let bad32_inf = 1.123_456_8_f32;
|
2019-01-13 11:09:30 +00:00
|
|
|
|
|
|
|
let bad64: f64 = 0.123_456_789_012_345_66;
|
2020-02-17 07:55:16 +00:00
|
|
|
let bad64_suf: f64 = 0.123_456_789_012_345_66_f64;
|
2019-01-13 11:09:30 +00:00
|
|
|
let bad64_inf = 0.123_456_789_012_345_66;
|
|
|
|
|
|
|
|
// Vectors
|
|
|
|
let good_vec32: Vec<f32> = vec![0.123_456];
|
|
|
|
let good_vec64: Vec<f64> = vec![0.123_456_789];
|
|
|
|
|
|
|
|
let bad_vec32: Vec<f32> = vec![0.123_456_79];
|
|
|
|
let bad_vec64: Vec<f64> = vec![0.123_456_789_123_456_78];
|
|
|
|
|
|
|
|
// Exponential float notation
|
|
|
|
let good_e32: f32 = 1e-10;
|
|
|
|
let bad_e32: f32 = 1.123_456_8e-10;
|
|
|
|
|
|
|
|
let good_bige32: f32 = 1E-10;
|
|
|
|
let bad_bige32: f32 = 1.123_456_8E-10;
|
|
|
|
|
|
|
|
// Inferred type
|
|
|
|
let good_inferred: f32 = 1f32 * 1_000_000_000.;
|
|
|
|
|
|
|
|
// issue #2840
|
|
|
|
let num = 0.000_000_000_01e-10f64;
|
2020-02-17 07:55:16 +00:00
|
|
|
|
|
|
|
// Lossy whole-number float literals
|
|
|
|
let _: f32 = 16_777_216.0;
|
|
|
|
let _: f32 = 16_777_220.0;
|
|
|
|
let _: f32 = 16_777_220.0;
|
|
|
|
let _: f32 = 16_777_220.0;
|
|
|
|
let _ = 16_777_220.0_f32;
|
|
|
|
let _: f32 = -16_777_220.0;
|
|
|
|
let _: f64 = 9_007_199_254_740_992.0;
|
|
|
|
let _: f64 = 9_007_199_254_740_992.0;
|
|
|
|
let _: f64 = 9_007_199_254_740_992.0;
|
|
|
|
let _ = 9_007_199_254_740_992.0_f64;
|
|
|
|
let _: f64 = -9_007_199_254_740_992.0;
|
|
|
|
|
|
|
|
// Lossless whole number float literals
|
|
|
|
let _: f32 = 16_777_216.0;
|
|
|
|
let _: f32 = 16_777_218.0;
|
|
|
|
let _: f32 = 16_777_220.0;
|
|
|
|
let _: f32 = -16_777_216.0;
|
|
|
|
let _: f32 = -16_777_220.0;
|
|
|
|
let _: f64 = 9_007_199_254_740_992.0;
|
|
|
|
let _: f64 = -9_007_199_254_740_992.0;
|
2019-01-13 11:09:30 +00:00
|
|
|
}
|