1 error: type `Priv` is private
2 --> $DIR/private-inferred-type-1.rs:16:5
5 | ^^^^^^^^^^^^^^^^ private type
7 error: type `Priv` is private
8 --> $DIR/private-inferred-type-1.rs:17:5
10 LL | None.ty_param_secret();
11 | ^^^^^^^^^^^^^^^^^^^^^^ private type
13 error: aborting due to 2 previous errors