fn main() {
    let x: f32 = 1; //~ ERROR mismatched types
    let y: f32 = 1f64; //~ ERROR mismatched types
}