[cdt-dev] Type promotion support?

[Tom Ball <tball@xxxxxxxxxx>]

The extract function and extract local variable refactorings don't support type promotion:

    int x = 3;

    double y = (x + 2.5) * 15;

extract -------^^^^^^^^^  

->  int x = 3;

    int foo = x + 2.5;  // foo should be a double

    double y = foo * 15;

Are there existing methods that "merge" types (IASTDeclSpecifier), finding the correct shared type?  For primitive types it's straightforward, but I'd like to avoid the bog of C++ types which override binary operators.

Tom