Yes but what if your declaration was: T::bar * x; Now the parse is ambiguous. While the language could say "you only need to use typename if the declarat

Yes but what if your declaration was: T::bar * x; Now the parse is ambiguous. While the language could say "you only need to use typename if the declaration would otherwise be ambiguous," it's simpler and more consistent to say "all qualified dependent types must use typename."