Casting an alias template to the aliased type

Question

Consider this code:

struct foo {/* stuff */};

template <typename T>
using bar = foo;

// Elsewhere
bar<int> A;
auto &B = static_cast<foo&>(A);

Is using B legal?

Answer 1

Yes, it is. bar<T> is exactly the same type as foo for any T.