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