error: Non-unique sub-topic name
 --> ui/double_subtopic.rs:8:14
  |
8 |         sub::Topic => { // Err
  |              ^^^^^

error: Non-unique sub-topic name
  --> ui/double_subtopic.rs:16:18
   |
16 |             sub::TopicErr => { // Err
   |                  ^^^^^^^^