Annoying limitations with `use` of same symbols

I think this would be covered here:

1 Like