privacy: no nominal visibility for assoc fns by davidtwco · Pull Request #11409...
source link: https://github.com/rust-lang/rust/pull/114099
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Conversation
Member
Fixes #113860.
When staged_api
is enabled, effective visibilities are computed earlier and this can trigger an ICE in some cases.
In particular, if a impl of a trait method has a visibility then an error will be reported for that, but when privacy invariants are being checked, the effective visibility will still be greater than the nominal visbility and that will trigger a span_bug!
.
However, this invariant - that effective visibilites are limited to nominal visibility - doesn't make sense for associated functions.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK