encode_info_for_mod seems to encode whether each module child is exported, but it only does that for impls and structs. So I guess traits all get exported by default? It's unclear to me what needs to be changed, if anything (a FIXME, formerly XXX, just says "Encode these two" for the default case).