1error: trait `PrivNonPrincipal` is private
2  --> $DIR/private-in-public-non-principal-2.rs:12:5
3   |
4LL |     m::leak_dyn_nonprincipal();
5   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ private trait
6
7error: aborting due to previous error
8
9