src/test/ui/privacy/private-in-public-type-alias-impl-trait.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2
   3 // revisions: min_tait full_tait
   4 #![feature(min_type_alias_impl_trait)]
   5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   6 //[full_tait]~^ WARN incomplete
   7 #![deny(private_in_public)]
   8
   9 pub type Pub = impl Default;
  10
  11 #[derive(Default)]
  12 struct Priv;
  13
  14 fn check() -> Pub {
  15     Priv
  16 }
  17
  18 pub trait Trait {
  19     type Pub: Default;
  20     fn method() -> Self::Pub;
  21 }
  22
  23 impl Trait for u8 {
  24     type Pub = impl Default;
  25     fn method() -> Self::Pub { Priv }
  26 }
  27
  28 fn main() {}