This is useful for "go to definition" feature for an IDE like Xcode. Consider the following example:
template<typename T> struct Traits { using EncodedAs = void; // 1 }; template<> struct Traits<char> { using EncodedAs = int; // 2 };
This change will allow the IDE to take the user to EncodedAs at 1 if the user wishes to perform "go to definition" on EncodedAs at 2.