Hello,

I'm currently testing the emacs 24.3 embedded version of semantic. Thanks for this great 
and impressive tool!

By trying to use completion for STL smart pointers, I have faced a problem with nested typedef and template.

Here is an example.

-------------------------------

class Bar
{
public:
int bar_attribute;
};

template<typename T>
class TFoo1
{
public:
T* operator->() {}
};

template<typename T>
class TFoo2
{
public:
typedef T NestedT;
NestedT* operator->() {}
};

int main()
{
TFoo1<Bar> o1;
o1->// completion works and displays "bar_attribute"
TFoo2<Bar> o2;
o2->// completion doesn't work
}

-------------------------------

When the completion doesn't work (using semantic-analyze-possible-completions), semantic displays the following message: Cannot find types for `TFoo2 o2'.
Thanks in advance for your help,
François