Closed nrc closed 4 years ago
I think we should not do both, i.e., there is always just one place where an item is imported from.
Would https://doc.rust-lang.org/rustdoc/the-doc-attribute.html#docno_inlinedocinline be needed if we decide on re-export?
I think we should not do both, i.e., there is always just one place where an item is imported from.