src/test/ui/privacy/private-in-public-existential.rs

   1 // compile-pass
   2
   3 #![feature(existential_type)]
   4 #![deny(private_in_public)]
   5
   6 pub existential type Pub: Default;
   7
   8 #[derive(Default)]
   9 struct Priv;
  10
  11 fn check() -> Pub {
  12     Priv
  13 }
  14
  15 fn main() {}