Auto merge of #57119 - jethrogb:jb/sgx-os-mod2, r=joshtriplett

[rust.git] / src / test / ui / issues / issue-24352.rs

fn main() {
    1.0f64 - 1.0;
    1.0f64 - 1 //~ ERROR E0277
}