[rustc.git] / tests / ui / privacy / private-in-public-type-alias-impl-trait.rs

// build-pass (FIXME(62277): could be check-pass?)
#![feature(impl_trait_in_assoc_type)]
#![feature(type_alias_impl_trait)]
#![deny(private_in_public)]

pub type Pub = impl Default;

#[derive(Default)]
struct Priv;

fn check() -> Pub {
    Priv
}

pub trait Trait {
    type Pub: Default;
    fn method() -> Self::Pub;
}

impl Trait for u8 {
    type Pub = impl Default;
    fn method() -> Self::Pub {
        Priv
    }
}

fn main() {}
Commit	Line	Data
416331ca	1	// build-pass (FIXME(62277): could be check-pass?)
353b0b11	2	#![feature(impl_trait_in_assoc_type)]
94222f64	3	#![feature(type_alias_impl_trait)]
0731742a XL	4	#![deny(private_in_public)]
0731742a XL	5
416331ca	6	pub type Pub = impl Default;
0731742a XL	7
	8	#[derive(Default)]
	9	struct Priv;
	10
	11	fn check() -> Pub {
	12	Priv
	13	}
	14
9fa01778 XL	15	pub trait Trait {
	16	type Pub: Default;
	17	fn method() -> Self::Pub;
	18	}
	19
	20	impl Trait for u8 {
416331ca	21	type Pub = impl Default;
94222f64 XL	22	fn method() -> Self::Pub {
	23	Priv
	24	}
9fa01778 XL	25	}
9fa01778 XL	26
0731742a	27	fn main() {}