tests/ui/consts/effect_param.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Ensure we don't allow accessing const effect parameters from stable Rust.

fn main() {
    i8::checked_sub::<true>(42, 43);
    //~^ ERROR: method takes 0 generic arguments but 1 generic argument was supplied
    i8::checked_sub::<false>(42, 43);
    //~^ ERROR: method takes 0 generic arguments but 1 generic argument was supplied
}

const FOO: () = {
    i8::checked_sub::<false>(42, 43);
    //~^ ERROR: method takes 0 generic arguments but 1 generic argument was supplied
    i8::checked_sub::<true>(42, 43);
    //~^ ERROR: method takes 0 generic arguments but 1 generic argument was supplied
};