1 // Patterns and expressions are not interface parts and don't produce private-in-public errors.
2 
3 // build-pass (FIXME(62277): could be check-pass?)
4 
5 struct Priv1(usize);
6 struct Priv2;
7 
8 pub struct Pub(Priv2);
9 
public_expr(_: [u8; Priv1(0).0])10 pub fn public_expr(_: [u8; Priv1(0).0]) {} // OK
public_pat(Pub(Priv2): Pub)11 pub fn public_pat(Pub(Priv2): Pub) {} // OK
12 
main()13 fn main() {}
14