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

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