[rustc.git] / src / test / ui / const-generics / impl-trait-with-const-arguments.rs

trait Usizer {
    fn m(self) -> usize;
}

fn f<const N: usize>(u: impl Usizer) -> usize {
    N + u.m()
}

struct Usizable;

impl Usizer for Usizable {
    fn m(self) -> usize {
        16
    }
}

fn main() {
    assert_eq!(f::<4usize>(Usizable), 20usize);
//~^ ERROR cannot provide explicit generic arguments when `impl Trait` is used in argument position
}
Commit	Line	Data
29967ef6 XL	1	trait Usizer {
	2	fn m(self) -> usize;
	3	}
	4
	5	fn f<const N: usize>(u: impl Usizer) -> usize {
	6	N + u.m()
	7	}
	8
	9	struct Usizable;
	10
	11	impl Usizer for Usizable {
	12	fn m(self) -> usize {
	13	16
	14	}
	15	}
	16
	17	fn main() {
	18	assert_eq!(f::<4usize>(Usizable), 20usize);
	19	//~^ ERROR cannot provide explicit generic arguments when `impl Trait` is used in argument position
	20	}