Missing warning about redundant import of classes/types whose members are used
|Reported by:||EyalLotem||Owned by:|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||rename/should_fail/T7454||Blocked By:|
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.