[rustc.git] / src / test / ui / traits / alias / issue-83613.rs

#![feature(type_alias_impl_trait)]
trait OpaqueTrait {}
impl<T> OpaqueTrait for T {}
type OpaqueType = impl OpaqueTrait;
fn mk_opaque() -> OpaqueType {
    || 0
}
trait AnotherTrait {}
impl<T: Send> AnotherTrait for T {}
impl AnotherTrait for OpaqueType {}
//~^ ERROR conflicting implementations of trait `AnotherTrait` for type `OpaqueType`
//~| ERROR cannot implement trait on type alias impl trait
fn main() {}
Commit	Line	Data
94222f64	1	#![feature(type_alias_impl_trait)]
cdc7bbd5 XL	2	trait OpaqueTrait {}
	3	impl<T> OpaqueTrait for T {}
	4	type OpaqueType = impl OpaqueTrait;
	5	fn mk_opaque() -> OpaqueType {
	6	\|\| 0
	7	}
	8	trait AnotherTrait {}
	9	impl<T: Send> AnotherTrait for T {}
	10	impl AnotherTrait for OpaqueType {}
ee023bcb	11	//~^ ERROR conflicting implementations of trait `AnotherTrait` for type `OpaqueType`
cdc7bbd5 XL	12	//~\| ERROR cannot implement trait on type alias impl trait
cdc7bbd5 XL	13	fn main() {}