// option. This file may not be copied, modified, or distributed
// except according to those terms.
+// pretty-expanded FIXME #23616
+
#![feature(visible_private_types)]
-trait Foo {}
+trait Foo { fn dummy(&self) { } }
pub trait Bar : Foo {}
pub fn f(_: Baz) {}
fn main() {}
-