Missing warning about redundant import of classes/types whose members are used
If one module exports a class C(..) with a method m, and another module imports it via: import Module(C, m) And then proceeds to use only "m", one would expect to get a warning about the redundant import of "C", but that does not occur.
Similarly, the same thing happens if one imports a data-type "D", and a record field "f", and uses only "f". No redundant import warning is issued on D.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information