[rustc.git] / src / test / ui / const-generics / issues / issue70273-assoc-fn.rs

// check-pass

#![feature(const_generics)]
//~^ WARN the feature `const_generics` is incomplete

trait T<const A: usize> {
    fn f();
}
struct S;

impl T<0usize> for S {
    fn f() {}
}

fn main() {
    let _err = <S as T<0usize>>::f();
}
Commit	Line	Data
ba9703b0 XL	1	// check-pass
	2
	3	#![feature(const_generics)]
f9f354fc	4	//~^ WARN the feature `const_generics` is incomplete
ba9703b0 XL	5
	6	trait T<const A: usize> {
	7	fn f();
	8	}
	9	struct S;
	10
	11	impl T<0usize> for S {
	12	fn f() {}
	13	}
	14
	15	fn main() {
	16	let _err = <S as T<0usize>>::f();
	17	}