Skip to content

Commit a343edd

Browse files
committed
Incorporate some feedback
1 parent 98c8bdf commit a343edd

File tree

1 file changed

+10
-1
lines changed

1 file changed

+10
-1
lines changed

text/0000-type-privacy.md

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -469,13 +469,22 @@ pub fn f<T>(arg: T)
469469
being legal (even if it's warned against by default) the set of
470470
`PrivateTrait`'s implementations becomes a part of `f`'s interface.
471471
`PrivateTrait` can still be freely renamed or even splitted into several traits
472-
though.
472+
though.
473+
`rustdoc` may be not fully prepared to document items with private traits in
474+
bounds, manually written documentation explaining how to use the interface
475+
may be required.
473476

474477
# Rationale and Alternatives
475478
[alternatives]: #alternatives
476479

477480
Names for the lints are subject to bikeshedding.
478481

482+
`private_interfaces` and `private_bounds` can be merged into one lint.
483+
The rationale for keeping them separate is different probabilities
484+
of errors in case of lint violations.
485+
The first lint indicates an almost guaranteed error on client side,
486+
the second one is more in the "missing documentation" category.
487+
479488
# Unresolved questions
480489
[unresolved]: #unresolved-questions
481490

0 commit comments

Comments
 (0)