struct MyS;

impl MyS {
    const FOO: i32 = 1;
    fn foo() -> MyS {
        MyS
    }
}

fn main() {
    let x: i32 = MyS::foo;
    //~^ ERROR mismatched types
    //~| HELP try referring to the

    let z: i32 = i32::max;
    //~^ ERROR mismatched types
    //~| HELP try referring to the

    // This example is still broken though... This is a hard suggestion to make,
    // because we don't have access to the associated const probing code to make
    // this suggestion where it's emitted, i.e. in trait selection.
    let y: i32 = i32::max - 42;
    //~^ ERROR cannot subtract
    //~| HELP use parentheses
}