[rustc.git] / src / test / ui / type-alias-impl-trait / issue-74761.rs

#![feature(member_constraints)]
// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete

pub trait A {
    type B;
    fn f(&self) -> Self::B;
}
impl<'a, 'b> A for () {
    //~^ ERROR the lifetime parameter `'a` is not constrained
    //~| ERROR the lifetime parameter `'b` is not constrained
    type B = impl core::fmt::Debug;

    fn f(&self) -> Self::B {}
}

fn main() {}
Commit	Line	Data
1b1a35ee	1	#![feature(member_constraints)]
6a06907d XL	2	// revisions: min_tait full_tait
	3	#![feature(min_type_alias_impl_trait)]
	4	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	5	//[full_tait]~^ WARN incomplete
1b1a35ee XL	6
	7	pub trait A {
	8	type B;
	9	fn f(&self) -> Self::B;
	10	}
	11	impl<'a, 'b> A for () {
	12	//~^ ERROR the lifetime parameter `'a` is not constrained
	13	//~\| ERROR the lifetime parameter `'b` is not constrained
	14	type B = impl core::fmt::Debug;
	15
	16	fn f(&self) -> Self::B {}
	17	}
	18
	19	fn main() {}