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

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

trait Allocator {
    type Buffer;
}

struct DefaultAllocator;

impl<T> Allocator for DefaultAllocator {
    //~^ ERROR: the type parameter `T` is not constrained
    type Buffer = ();
}

type A = impl Fn(<DefaultAllocator as Allocator>::Buffer);

fn foo() -> A {
    |_| ()
}

fn main() {}
Commit	Line	Data
6a06907d XL	1	// revisions: min_tait full_tait
	2	#![feature(min_type_alias_impl_trait)]
	3	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	4	//[full_tait]~^ WARN incomplete
29967ef6 XL	5
	6	trait Allocator {
	7	type Buffer;
	8	}
	9
	10	struct DefaultAllocator;
	11
	12	impl<T> Allocator for DefaultAllocator {
	13	//~^ ERROR: the type parameter `T` is not constrained
	14	type Buffer = ();
	15	}
	16
	17	type A = impl Fn(<DefaultAllocator as Allocator>::Buffer);
	18
	19	fn foo() -> A {
	20	\|_\| ()
	21	}
	22
	23	fn main() {}