[rustc.git] / src / test / ui / generic-associated-types / issue-80433-reduced.rs

// check-pass

#![feature(generic_associated_types)]

struct E {}

trait TestMut {
    type Output<'a>;
    fn test_mut(&mut self) -> Self::Output<'static>;
}

impl TestMut for E {
    type Output<'a> = usize;
    fn test_mut(&mut self) -> Self::Output<'static> {
        todo!()
    }
}

fn test_simpler<'a>(_: impl TestMut<Output<'a> = usize>) {}

fn main() {
    test_simpler(E {});
}
Commit	Line	Data
5869c6ff XL	1	// check-pass
5869c6ff XL	2
5869c6ff XL	3	#![feature(generic_associated_types)]
	4
	5	struct E {}
	6
	7	trait TestMut {
	8	type Output<'a>;
	9	fn test_mut(&mut self) -> Self::Output<'static>;
	10	}
	11
	12	impl TestMut for E {
	13	type Output<'a> = usize;
	14	fn test_mut(&mut self) -> Self::Output<'static> {
	15	todo!()
	16	}
	17	}
	18
	19	fn test_simpler<'a>(_: impl TestMut<Output<'a> = usize>) {}
	20
	21	fn main() {
	22	test_simpler(E {});
	23	}