False positive result of "unused import" code smell

Copy of titan.EclipsePlug-ins#516 (closed)

The "unused import" code smell of Titanium provides false positive result in the following case:

module General_Types
{
  type record of integer IntegerList;
}

module test {
 
import from General_Types all;
 
public function f_CsillamPoni1()
return IntegerList                  // import is marked, but the imported type is used here
{
  return { 1 };
}
 
}