[rustc.git] / src / test / ui / impl-trait / associated-impl-trait-type.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
// build-pass (FIXME(62277): could be check-pass?)

trait Bar {}
struct Dummy;
impl Bar for Dummy {}

trait Foo {
    type Assoc: Bar;
    fn foo() -> Self::Assoc;
    fn bar() -> Self::Assoc;
}

impl Foo for i32 {
    type Assoc = impl Bar;
    fn foo() -> Self::Assoc {
        Dummy
    }
    fn bar() -> Self::Assoc {
        Dummy
    }
}

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
416331ca	5	// build-pass (FIXME(62277): could be check-pass?)
1a4d82fc	6
8faf50e0 XL	7	trait Bar {}
	8	struct Dummy;
	9	impl Bar for Dummy {}
94b46f34	10
8faf50e0 XL	11	trait Foo {
	12	type Assoc: Bar;
	13	fn foo() -> Self::Assoc;
	14	fn bar() -> Self::Assoc;
	15	}
94b46f34	16
8faf50e0	17	impl Foo for i32 {
416331ca	18	type Assoc = impl Bar;
8faf50e0 XL	19	fn foo() -> Self::Assoc {
	20	Dummy
	21	}
	22	fn bar() -> Self::Assoc {
	23	Dummy
	24	}
83c7162d	25	}
9e0c209e SL	26
9e0c209e SL	27	fn main() {}