1error: type `Priv` is private
2  --> $DIR/private-inferred-type-1.rs:16:5
3   |
4LL |     [].arr0_secret();
5   |     ^^^^^^^^^^^^^^^^ private type
6
7error: type `Priv` is private
8  --> $DIR/private-inferred-type-1.rs:17:5
9   |
10LL |     None.ty_param_secret();
11   |     ^^^^^^^^^^^^^^^^^^^^^^ private type
12
13error: aborting due to 2 previous errors
14
15