>>367
>>360が言ってるのは、(仮にこんな文法があるとして)

void a(void);
typedef void f(void);
static_assert(a is f);
template<typename x> class t { operator x ...//変換演算子

みたいな話と解釈したけど。typedefの話なんだから。