[rustc.git] / src / test / ui / const-generics / infer / uninferred-consts.rs

// Test that we emit an error if we cannot properly infer a constant.

// taken from https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893
struct Foo;
impl Foo {
    fn foo<const A: usize, const B: usize>(self) {}
}
fn main() {
    Foo.foo();
    //~^ ERROR type annotations needed
}
Commit	Line	Data
3dfed10e	1	// Test that we emit an error if we cannot properly infer a constant.
f9f354fc XL	2
	3	// taken from https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893
	4	struct Foo;
	5	impl Foo {
fc512014	6	fn foo<const A: usize, const B: usize>(self) {}
f9f354fc XL	7	}
	8	fn main() {
	9	Foo.foo();
	10	//~^ ERROR type annotations needed
	11	}